-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.
-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.