-20%
A Course in Mathematical Logic for Mathematicians
Price range: ₹5,240.00 through ₹5,661.00
Contains a new chapter on categorical approach to theory of computations, quantum computations, and P/NP problem New chapter containing basic results of Model Theory and its applications to mainstream mathematics Presents several highlights of mathematical logic of the 20th century including Gödel's and Tarski's Theorems, Cohen's Theorem on the independence of Continuum Hypothesis Complete proof of Davis-Putnam-Robinson-Matiyasevich theorem Discusses Kolmogorov complexity Includes supplementary material: sn.pub/extras
-20%
A Course in Mathematical Logic for Mathematicians
Price range: ₹5,240.00 through ₹5,661.00
Contains a new chapter on categorical approach to theory of computations, quantum computations, and P/NP problem New chapter containing basic results of Model Theory and its applications to mainstream mathematics Presents several highlights of mathematical logic of the 20th century including Gödel's and Tarski's Theorems, Cohen's Theorem on the independence of Continuum Hypothesis Complete proof of Davis-Putnam-Robinson-Matiyasevich theorem Discusses Kolmogorov complexity Includes supplementary material: sn.pub/extras
-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.
-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%
Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra and Analysis, Durham, July 9-21, 1977
Original price was: ₹6,033.00.₹4,827.00Current price is: ₹4,827.00.
-20%
Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra and Analysis, Durham, July 9-21, 1977
Original price was: ₹6,033.00.₹4,827.00Current price is: ₹4,827.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%
Dialetheism and its Applications
Price range: ₹7,329.00 through ₹8,580.00
The purpose of this book is to present unpublished papers at the cutting edge of research on dialetheism and to reflect recent work on the applications of the theory. It includes contributions from some of the most respected scholars in the field, as well as from young, up-and-coming philosophers working on dialetheism.
-20%
Dialetheism and its Applications
Price range: ₹7,329.00 through ₹8,580.00
The purpose of this book is to present unpublished papers at the cutting edge of research on dialetheism and to reflect recent work on the applications of the theory. It includes contributions from some of the most respected scholars in the field, as well as from young, up-and-coming philosophers working on dialetheism.
-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%
Feferman on Foundations: Logic, Mathematics, Philosophy
Original price was: ₹19,064.00.₹15,252.00Current price is: ₹15,252.00.
This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, researchers examine Feferman’s work on mathematical as well as specific methodological and philosophical issues that tie into mathematics.
-20%
Feferman on Foundations: Logic, Mathematics, Philosophy
Original price was: ₹19,064.00.₹15,252.00Current price is: ₹15,252.00.
This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, researchers examine Feferman’s work on mathematical as well as specific methodological and philosophical issues that tie into mathematics.
-20%
Foundations of the Theory of Parthood: A Study of Mereology
Original price was: ₹9,682.00.₹7,746.00Current price is: ₹7,746.00.
This is the first book to systematically study the weak systems of mereology. In its chapters, the author critically analyzes and explains core topics related to mereology, such as parthood without antisymmetry, non-existence of the zero element, and Le?niewski's notion of class and set.
-20%
Foundations of the Theory of Parthood: A Study of Mereology
Original price was: ₹9,682.00.₹7,746.00Current price is: ₹7,746.00.
This is the first book to systematically study the weak systems of mereology. In its chapters, the author critically analyzes and explains core topics related to mereology, such as parthood without antisymmetry, non-existence of the zero element, and Le?niewski's notion of class and set.
-20%
Heyting Algebras: Duality Theory
Original price was: ₹8,639.00.₹6,912.00Current price is: ₹6,912.00.
This book presents an English translation of a classic Russian text on duality theory for Heyting algebras. Written by Georgian mathematician Leo Esakia, the text proved popular among Russian-speaking logicians.
-20%
Heyting Algebras: Duality Theory
Original price was: ₹8,639.00.₹6,912.00Current price is: ₹6,912.00.
This book presents an English translation of a classic Russian text on duality theory for Heyting algebras. Written by Georgian mathematician Leo Esakia, the text proved popular among Russian-speaking logicians.
-20%
Hilary Putnam on Logic and Mathematics
Original price was: ₹12,809.00.₹10,248.00Current price is: ₹10,248.00.
This book explores the research of Professor Hilary Putnam, a Harvard professor as well as a leading philosopher, mathematician and computer scientist. It features the work of distinguished scholars in the field as well as a selection of young academics who have studied topics closely connected to Putnam’s work.
It includes 12 papers that analyze, develop, and constructively criticize this notable professor's research in mathematical logic, the philosophy of logic and the philosophy of mathematics. In addition, it features a short essay presenting reminiscences and anecdotes about Putnam from his friends and colleagues, and also includes an extensive bibliography of his work in mathematics and logic.
The book offers readers a comprehensive review of outstanding contributions in logic and mathematics as well as an engaging dialogue between prominent scholars and researchers. It provides those interested in mathematical logic, the philosophy of logic, and the philosophy of mathematics unique insights into the work of Hilary Putnam.
-20%
Hilary Putnam on Logic and Mathematics
Original price was: ₹12,809.00.₹10,248.00Current price is: ₹10,248.00.
This book explores the research of Professor Hilary Putnam, a Harvard professor as well as a leading philosopher, mathematician and computer scientist. It features the work of distinguished scholars in the field as well as a selection of young academics who have studied topics closely connected to Putnam’s work.
It includes 12 papers that analyze, develop, and constructively criticize this notable professor's research in mathematical logic, the philosophy of logic and the philosophy of mathematics. In addition, it features a short essay presenting reminiscences and anecdotes about Putnam from his friends and colleagues, and also includes an extensive bibliography of his work in mathematics and logic.
The book offers readers a comprehensive review of outstanding contributions in logic and mathematics as well as an engaging dialogue between prominent scholars and researchers. It provides those interested in mathematical logic, the philosophy of logic, and the philosophy of mathematics unique insights into the work of Hilary Putnam.
-20%
Kurt Gödel
Original price was: ₹10,724.00.₹8,580.00Current price is: ₹8,580.00.
Paris of the year 1900 left two landmarks: the Tour Eiffel, and David Hilbert's celebrated list of twenty-four mathematical problems presented at a conference opening the new century. Kurt Gödel, a logical icon of that time, showed Hilbert's ideal of complete axiomatization of mathematics to be unattainable. The result, of 1931, is called Gödel's incompleteness theorem.
-20%
Kurt Gödel
Original price was: ₹10,724.00.₹8,580.00Current price is: ₹8,580.00.
Paris of the year 1900 left two landmarks: the Tour Eiffel, and David Hilbert's celebrated list of twenty-four mathematical problems presented at a conference opening the new century. Kurt Gödel, a logical icon of that time, showed Hilbert's ideal of complete axiomatization of mathematics to be unattainable. The result, of 1931, is called Gödel's incompleteness theorem.
-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.
-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%
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%
Mathematical Problems: An Essay on Their Nature and Importance
Original price was: ₹10,724.00.₹8,580.00Current price is: ₹8,580.00.
The life and soul of any science are its problems. This is particularly true of mathematics, which, not referring to any physical reality, consists only of its problems, their solutions, and, most excitingly, the challenges they pose.
-20%
Mathematical Problems: An Essay on Their Nature and Importance
Original price was: ₹10,724.00.₹8,580.00Current price is: ₹8,580.00.
The life and soul of any science are its problems. This is particularly true of mathematics, which, not referring to any physical reality, consists only of its problems, their solutions, and, most excitingly, the challenges they pose.
-20%
Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry
Original price was: ₹5,512.00.₹4,410.00Current price is: ₹4,410.00.
This book aids in the rehabilitation of the wrongfully deprecated work of William Parry, and is the only full-length investigation into Parry-type propositional logics.
-20%
Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry
Original price was: ₹5,512.00.₹4,410.00Current price is: ₹4,410.00.
This book aids in the rehabilitation of the wrongfully deprecated work of William Parry, and is the only full-length investigation into Parry-type propositional logics.
-20%
Quantum Computation and Logic: How Quantum Computers Have Inspired Logical Investigations
Original price was: ₹12,809.00.₹10,248.00Current price is: ₹10,248.00.
This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic. Divided into 10 chapters, the books starts with an introduction of the main concepts of the quantum-theoretic formalism used in quantum information. It then gives a synthetic presentation of the main “mathematical characters” of the quantum computational game: qubits, quregisters, mixtures of quregisters, quantum logical gates. Next, the book investigates the puzzling entanglement-phenomena and logically analyses the Einstein–Podolsky–Rosen paradox and introduces the reader to quantum computational logics, and new forms of quantum logic. The middle chapters investigate the possibility of a quantum computational semantics for a language that can express sentences like “Alice knows that everybody knows that she is pretty”, explore the mathematical concept of quantum Turing machine, and illustrate some characteristic examples that arise in the framework of musical languages. The book concludes with an analysis of recent discussions, and contains a Mathematical Appendix which is a survey of the definitions of all main mathematical concepts used in the book.
-20%
Quantum Computation and Logic: How Quantum Computers Have Inspired Logical Investigations
Original price was: ₹12,809.00.₹10,248.00Current price is: ₹10,248.00.
This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic. Divided into 10 chapters, the books starts with an introduction of the main concepts of the quantum-theoretic formalism used in quantum information. It then gives a synthetic presentation of the main “mathematical characters” of the quantum computational game: qubits, quregisters, mixtures of quregisters, quantum logical gates. Next, the book investigates the puzzling entanglement-phenomena and logically analyses the Einstein–Podolsky–Rosen paradox and introduces the reader to quantum computational logics, and new forms of quantum logic. The middle chapters investigate the possibility of a quantum computational semantics for a language that can express sentences like “Alice knows that everybody knows that she is pretty”, explore the mathematical concept of quantum Turing machine, and illustrate some characteristic examples that arise in the framework of musical languages. The book concludes with an analysis of recent discussions, and contains a Mathematical Appendix which is a survey of the definitions of all main mathematical concepts used in the book.