-20%
Logic and Structure
Original price was: ₹7,596.00.₹6,078.00Current price is: ₹6,078.00.
Features a self-contained introduction into classical and intuitionistic logic using GentzenÂ’s natural deduction Includes the basics of recursion, proof and model theory (including a new section on ultraproducts) Gives a comprehensive account of GoedelÂ’s Incompleteness Theorem within the framework of natural deduction Includes supplementary material: sn.pub/extras
-20%
Logic and Structure
Original price was: ₹7,596.00.₹6,078.00Current price is: ₹6,078.00.
Features a self-contained introduction into classical and intuitionistic logic using GentzenÂ’s natural deduction Includes the basics of recursion, proof and model theory (including a new section on ultraproducts) Gives a comprehensive account of GoedelÂ’s Incompleteness Theorem within the framework of natural deduction Includes supplementary material: sn.pub/extras
-20%
Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Original price was: ₹4,465.00.₹3,572.00Current price is: ₹3,572.00.
-20%
Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Original price was: ₹4,465.00.₹3,572.00Current price is: ₹3,572.00.
-20%
Logic Year 1979-80: The University of Connecticut, USA
Original price was: ₹4,465.00.₹3,572.00Current price is: ₹3,572.00.
-20%
Logic Year 1979-80: The University of Connecticut, USA
Original price was: ₹4,465.00.₹3,572.00Current price is: ₹3,572.00.
-20%
Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction
Original price was: ₹18,022.00.₹14,418.00Current price is: ₹14,418.00.
Presents a wide range of results in logic and computational complexity Explains the topic informally and then in more detail for the advanced reader Presents the ideas behind the theoretical concepts Includes supplementary material: sn.pub/extras
-20%
Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction
Original price was: ₹18,022.00.₹14,418.00Current price is: ₹14,418.00.
Presents a wide range of results in logic and computational complexity Explains the topic informally and then in more detail for the advanced reader Presents the ideas behind the theoretical concepts Includes supplementary material: sn.pub/extras
-20%
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
Original price was: ₹5,512.00.₹4,410.00Current price is: ₹4,410.00.
This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics.
-20%
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
Original price was: ₹5,512.00.₹4,410.00Current price is: ₹4,410.00.
This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics.
-20%
Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts
Original price was: ₹12,809.00.₹10,248.00Current price is: ₹10,248.00.
This volume features a critical edition of the recently rediscovered manuscripts written by the French philosopher Louis Couturat (1868-1914).
It includes the transcriptions of three of his believed to be lost manuscripts: first the “Cours de Caen: 1898-99” on various systems of symbolic logic, second his lecture at the Collège de France “Histoire de la logique formelle moderne', and third his textbook on mathematical logic. The manuscripts document the early reception of mathematical logic in France and provide insights into the first introduction of the French reader to the work of Gottlob Frege and Bertrand Russell.
It is the aim of the editors of this volume to contribute to the history of symbolic logic, particularly the history of its dissemination and its teaching in France. At the same time, the volume contributes to an alternative history and conception of philosophy in which semiotics and concrete mathematical practice stand in focus.
The book is interesting for students and researchers in the history of philosophy, mathematics, and logic.
-20%
Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts
Original price was: ₹12,809.00.₹10,248.00Current price is: ₹10,248.00.
This volume features a critical edition of the recently rediscovered manuscripts written by the French philosopher Louis Couturat (1868-1914).
It includes the transcriptions of three of his believed to be lost manuscripts: first the “Cours de Caen: 1898-99” on various systems of symbolic logic, second his lecture at the Collège de France “Histoire de la logique formelle moderne', and third his textbook on mathematical logic. The manuscripts document the early reception of mathematical logic in France and provide insights into the first introduction of the French reader to the work of Gottlob Frege and Bertrand Russell.
It is the aim of the editors of this volume to contribute to the history of symbolic logic, particularly the history of its dissemination and its teaching in France. At the same time, the volume contributes to an alternative history and conception of philosophy in which semiotics and concrete mathematical practice stand in focus.
The book is interesting for students and researchers in the history of philosophy, mathematics, and logic.
-20%
Mathematical Logic
Price range: ₹4,410.00 through ₹5,661.00
Explores additional important decidability results in this thoroughly updated new edition Introduces mathematical logic by analyzing foundational questions on proofs and provability in mathematics Highlights the capabilities and limitations of algorithms and proof methods both in mathematics and computer science Examines advanced topics, such as linking logic with computability and automata theory, as well as the unique role first-order logic plays in logical systems
-20%
Mathematical Logic
Price range: ₹4,410.00 through ₹5,661.00
Explores additional important decidability results in this thoroughly updated new edition Introduces mathematical logic by analyzing foundational questions on proofs and provability in mathematics Highlights the capabilities and limitations of algorithms and proof methods both in mathematics and computer science Examines advanced topics, such as linking logic with computability and automata theory, as well as the unique role first-order logic plays in logical systems
-20%
Mathematical Logic
Price range: ₹4,410.00 through ₹5,661.00
This book gathers together a colorful set of problems on classical Mathematical Logic, selected from over 30 years of teaching.
-20%
Mathematical Logic
Price range: ₹4,410.00 through ₹5,661.00
This book gathers together a colorful set of problems on classical Mathematical Logic, selected from over 30 years of teaching.
-20%
Mathematical Logic
Original price was: ₹9,682.00.₹7,746.00Current price is: ₹7,746.00.
From the Introduction: "We shall base our discussion on a set-theoretical foundation like that used in developing analysis, or algebra, or topology. We may consider our task as that of giving a mathematical analysis of the basic concepts of logic and mathematics themselves. Thus we treat mathematical and logical practice as given empirical data and attempt to develop a purely mathematical theory of logic abstracted from these data."
-20%
Mathematical Logic
Original price was: ₹9,682.00.₹7,746.00Current price is: ₹7,746.00.
From the Introduction: "We shall base our discussion on a set-theoretical foundation like that used in developing analysis, or algebra, or topology. We may consider our task as that of giving a mathematical analysis of the basic concepts of logic and mathematics themselves. Thus we treat mathematical and logical practice as given empirical data and attempt to develop a purely mathematical theory of logic abstracted from these data."