Add to Wishlist
-20%

A Model–Theoretic Approach to Proof Theory

Publisher:

Original price was: ₹5,512.00.Current price is: ₹4,410.00.

This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinatorial methods to obtain results in proof theory, such as incompleteness theorems or a description of the provably total functions of a theory.

Usually dispatched in 2 to 3 days
Safe & secure checkout
SKU: NGS002973
Category:

This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinatorial methods to obtain results in proof theory, such as incompleteness theorems or a description of the provably total functions of a theory.

Additional information

Book Format

Hardcover, Softcover

Reviews

There are no reviews yet.

Be the first to review “A Model–Theoretic Approach to Proof Theory”

Your email address will not be published. Required fields are marked *

Book information

Edition
1st Edition
ISBN [Hardcover]
9783030289201
ISBN [Softcover]
9783030289232
Publisher
Springer
Year
2019
Pages
XVIII, 109 p.
Series Title
Trends in Logic
Language
English
Select the fields to be shown. Others will be hidden. Drag and drop to rearrange the order.
  • Image
  • SKU
  • Rating
  • Price
  • Stock
  • Availability
  • Add to cart
  • Description
  • Content
  • Weight
  • Dimensions
  • Additional information
Click outside to hide the comparison bar
Compare
Select an available coupon below
    Your cart is emptyReturn to Shop
    ×