-21%
ISILC – Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Original price was: ₹3,944.00.₹3,155.00Current price is: ₹3,155.00.
-21%
ISILC – Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Original price was: ₹3,944.00.₹3,155.00Current price is: ₹3,155.00.
-21%
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Original price was: ₹3,944.00.₹3,155.00Current price is: ₹3,155.00.
-21%
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Original price was: ₹3,944.00.₹3,155.00Current price is: ₹3,155.00.
-20%
Kurt Gödel: The Genius of Metamathematics
Original price was: ₹5,512.00.₹4,410.00Current price is: ₹4,410.00.
During his lifetime, Kurt Gödel was not well known outside the professional world of mathematicians, philosophers and theoretical physicists. Early in his career, for his doctoral thesis and then for his Habilitation (Dr.Sci.), he wrote earthshaking articles on the completeness and provability of mathematical-logical systems, upsetting the hypotheses of the most famous mathematicians/philosophers of the time.
-20%
Kurt Gödel: The Genius of Metamathematics
Original price was: ₹5,512.00.₹4,410.00Current price is: ₹4,410.00.
During his lifetime, Kurt Gödel was not well known outside the professional world of mathematicians, philosophers and theoretical physicists. Early in his career, for his doctoral thesis and then for his Habilitation (Dr.Sci.), he wrote earthshaking articles on the completeness and provability of mathematical-logical systems, upsetting the hypotheses of the most famous mathematicians/philosophers of the time.
-20%
Lattice-Gas Cellular Automata and Lattice Boltzmann Models: An Introduction
Original price was: ₹7,075.00.₹5,661.00Current price is: ₹5,661.00.
Includes supplementary material: sn.pub/extras
-20%
Lattice-Gas Cellular Automata and Lattice Boltzmann Models: An Introduction
Original price was: ₹7,075.00.₹5,661.00Current price is: ₹5,661.00.
Includes supplementary material: sn.pub/extras
-20%
Lectures on Formally Real Fields
Original price was: ₹2,901.00.₹2,321.00Current price is: ₹2,321.00.
Absolute values and their completions - like the p-adic number fields- play an important role in number theory. Krull's generalization of absolute values to valuations made applications in other branches of mathematics, such as algebraic geometry, possible.
-20%
Lectures on Formally Real Fields
Original price was: ₹2,901.00.₹2,321.00Current price is: ₹2,321.00.
Absolute values and their completions - like the p-adic number fields- play an important role in number theory. Krull's generalization of absolute values to valuations made applications in other branches of mathematics, such as algebraic geometry, possible.
-20%
Lessons in Enumerative Combinatorics
Price range: ₹4,410.00 through ₹5,661.00
Offers a unified and friendly approach to enumerative combinatorics through formal languages Showcases the authors' unique perspective and insightful examples Illuminates the important connection between discrete mathematics and computer science Engages readers through numerous exercises, examples, and applications
-20%
Lessons in Enumerative Combinatorics
Price range: ₹4,410.00 through ₹5,661.00
Offers a unified and friendly approach to enumerative combinatorics through formal languages Showcases the authors' unique perspective and insightful examples Illuminates the important connection between discrete mathematics and computer science Engages readers through numerous exercises, examples, and applications
-21%
Loeb Measures in Practice: Recent Advances: EMS Lectures 1997
Original price was: ₹3,944.00.₹3,155.00Current price is: ₹3,155.00.
Includes supplementary material: sn.pub/extras
-21%
Loeb Measures in Practice: Recent Advances: EMS Lectures 1997
Original price was: ₹3,944.00.₹3,155.00Current price is: ₹3,155.00.
Includes supplementary material: sn.pub/extras
-20%
Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
Original price was: ₹2,901.00.₹2,321.00Current price is: ₹2,321.00.
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.
-20%
Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
Original price was: ₹2,901.00.₹2,321.00Current price is: ₹2,321.00.
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.
-20%
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics
Original price was: ₹12,809.00.₹10,248.00Current price is: ₹10,248.00.
This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics.
-20%
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics
Original price was: ₹12,809.00.₹10,248.00Current price is: ₹10,248.00.
This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics.