-20%
Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980
Original price was: ₹4,465.00.₹3,572.00Current price is: ₹3,572.00.
-20%
Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980
Original price was: ₹4,465.00.₹3,572.00Current price is: ₹3,572.00.
-20%
Contradictions, from Consistency to Inconsistency
Original price was: ₹10,724.00.₹8,580.00Current price is: ₹8,580.00.
This volume investigates what is beyond the Principle of Non-Contradiction. It features 14 papers on the foundations of reasoning, including logical systems and philosophical considerations.
-20%
Contradictions, from Consistency to Inconsistency
Original price was: ₹10,724.00.₹8,580.00Current price is: ₹8,580.00.
This volume investigates what is beyond the Principle of Non-Contradiction. It features 14 papers on the foundations of reasoning, including logical systems and philosophical considerations.
-20%
Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Original price was: ₹2,901.00.₹2,321.00Current price is: ₹2,321.00.
-20%
Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Original price was: ₹2,901.00.₹2,321.00Current price is: ₹2,321.00.
-20%
Decidable Theories: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals
Original price was: ₹4,465.00.₹3,572.00Current price is: ₹3,572.00.
-20%
Decidable Theories: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals
Original price was: ₹4,465.00.₹3,572.00Current price is: ₹3,572.00.
-20%
Effective Kan Fibrations in Simplicial Sets
Original price was: ₹6,033.00.₹4,827.00Current price is: ₹4,827.00.
This book introduces the notion of an effective Kan fibration, a new mathematical structure which can be used to study simplicial homotopy theory. The main motivation is to make simplicial homotopy theory suitable for homotopy type theory.
-20%
Effective Kan Fibrations in Simplicial Sets
Original price was: ₹6,033.00.₹4,827.00Current price is: ₹4,827.00.
This book introduces the notion of an effective Kan fibration, a new mathematical structure which can be used to study simplicial homotopy theory. The main motivation is to make simplicial homotopy theory suitable for homotopy type theory.
-20%
Elements of Logic via Numbers and Sets
Original price was: ₹3,948.00.₹3,159.00Current price is: ₹3,159.00.
AN ELEMENTARY TEXT THAT WILL INTRODUCE SCHOOL-LEAVERS TO THE CHANGE IN ATTITUDE AND APPROACH NECESSARY TO BECOME UNIVERSITY STUDENTS INTRODUCES THE ROLE AND NATURE OF PROOFS, AND SET THEORIES Includes supplementary material: sn.pub/extras
-20%
Elements of Logic via Numbers and Sets
Original price was: ₹3,948.00.₹3,159.00Current price is: ₹3,159.00.
AN ELEMENTARY TEXT THAT WILL INTRODUCE SCHOOL-LEAVERS TO THE CHANGE IN ATTITUDE AND APPROACH NECESSARY TO BECOME UNIVERSITY STUDENTS INTRODUCES THE ROLE AND NATURE OF PROOFS, AND SET THEORIES Includes supplementary material: sn.pub/extras
-20%
Ernst Zermelo: An Approach to His Life and Work
Original price was: ₹5,512.00.₹4,410.00Current price is: ₹4,410.00.
This biography sheds light on all facets of the life and the achievements of Ernst Zermelo (1871-1953). Zermelo is best-known for the statement of the axiom of choice and his axiomatization of set theory. However, he also worked in applied mathematics and mathematical physics.
-20%
Ernst Zermelo: An Approach to His Life and Work
Original price was: ₹5,512.00.₹4,410.00Current price is: ₹4,410.00.
This biography sheds light on all facets of the life and the achievements of Ernst Zermelo (1871-1953). Zermelo is best-known for the statement of the axiom of choice and his axiomatization of set theory. However, he also worked in applied mathematics and mathematical physics.
-20%
Exploring Formalisation
Original price was: ₹5,511.00.₹4,410.00Current price is: ₹4,410.00.
This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean.
After a quick introduction to Lean, the basic techniques of human-readable formalisation are introduced, illustrated by simple examples on maps, induction and real numbers.
-20%
Exploring Formalisation
Original price was: ₹5,511.00.₹4,410.00Current price is: ₹4,410.00.
This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean.
After a quick introduction to Lean, the basic techniques of human-readable formalisation are introduced, illustrated by simple examples on maps, induction and real numbers.