-20%
Advances in Proof Theory
Original price was: ₹10,724.00.₹8,580.00Current price is: ₹8,580.00.
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations.
-20%
Advances in Proof Theory
Original price was: ₹10,724.00.₹8,580.00Current price is: ₹8,580.00.
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations.
-20%
Axiomatic Thinking I
Original price was: ₹9,682.00.₹7,746.00Current price is: ₹7,746.00.
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere.
-20%
Axiomatic Thinking I
Original price was: ₹9,682.00.₹7,746.00Current price is: ₹7,746.00.
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere.
-20%
Axiomatic Thinking II
Original price was: ₹10,724.00.₹8,580.00Current price is: ₹8,580.00.
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere.
-20%
Axiomatic Thinking II
Original price was: ₹10,724.00.₹8,580.00Current price is: ₹8,580.00.
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere.
-20%
Gentzen’s Centenary: The Quest for Consistency
Original price was: ₹15,936.00.₹12,750.00Current price is: ₹12,750.00.
Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond.
-20%
Gentzen’s Centenary: The Quest for Consistency
Original price was: ₹15,936.00.₹12,750.00Current price is: ₹12,750.00.
Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond.