-20%
A Model–Theoretic Approach to Proof Theory
Original price was: ₹5,512.00.₹4,410.00Current 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.
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 |
|---|
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
Reviews
There are no reviews yet.