-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.