-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 Course on Basic Model Theory
Price range: ₹4,410.00 through ₹6,495.00
This self-contained book is an exposition of the fundamental ideas of model theory. It presents the necessary background from logic, set theory and other topics of mathematics. Only some degree of mathematical maturity and willingness to assimilate ideas from diverse areas are required.
-20%
A Course on Basic Model Theory
Price range: ₹4,410.00 through ₹6,495.00
This self-contained book is an exposition of the fundamental ideas of model theory. It presents the necessary background from logic, set theory and other topics of mathematics. Only some degree of mathematical maturity and willingness to assimilate ideas from diverse areas are required.
-20%
A Course on Borel Sets
Original price was: ₹8,639.00.₹6,912.00Current price is: ₹6,912.00.
A Course on Borel sets provides a thorough introduction to Borel sets and measurable selections and acts as a stepping stone to descriptive set theory by presenting important techniques such as universal sets, prewellordering, scales, etc. It is well suited for graduate students exploring areas of mathematics for their research and for mathematicians requiring Borel sets and measurable selections in their work. It contains significant applications to other branches of mathematics and can serve as a self- contained reference accessible by mathematicians in many different disciplines. It is written in an easily understandable style and employs only naive set theory, general topology, analysis, and algebra. A large number of interesting exercises are given throughout the text.
-20%
A Course on Borel Sets
Original price was: ₹8,639.00.₹6,912.00Current price is: ₹6,912.00.
A Course on Borel sets provides a thorough introduction to Borel sets and measurable selections and acts as a stepping stone to descriptive set theory by presenting important techniques such as universal sets, prewellordering, scales, etc. It is well suited for graduate students exploring areas of mathematics for their research and for mathematicians requiring Borel sets and measurable selections in their work. It contains significant applications to other branches of mathematics and can serve as a self- contained reference accessible by mathematicians in many different disciplines. It is written in an easily understandable style and employs only naive set theory, general topology, analysis, and algebra. A large number of interesting exercises are given throughout the text.
-20%
A History of Folding in Mathematics: Mathematizing the Margins
Original price was: ₹21,149.00.₹16,920.00Current price is: ₹16,920.00.
Provides a lucid exposition on the history of the mathematical concept of folding starting from the 16th century Researches the various ways in which mathematical knowledge was and is marginalized Surveys clearly the ways in which mathematical research and mathematical inference procedures were changing during the centuries
-20%
A History of Folding in Mathematics: Mathematizing the Margins
Original price was: ₹21,149.00.₹16,920.00Current price is: ₹16,920.00.
Provides a lucid exposition on the history of the mathematical concept of folding starting from the 16th century Researches the various ways in which mathematical knowledge was and is marginalized Surveys clearly the ways in which mathematical research and mathematical inference procedures were changing during the centuries
-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%
Advanced Topics in Relation Algebras: Relation Algebras, Volume 2
Original price was: ₹8,639.00.₹6,912.00Current price is: ₹6,912.00.
The second volume of a pair that charts relation algebras from novice to expert level, this text brings the well-grounded reader to the frontiers of research. Building on the foundations established in the preceding Introduction to Relation Algebras, this volume advances the reader into the deeper mathematical results of the past few decades.
-20%
Advanced Topics in Relation Algebras: Relation Algebras, Volume 2
Original price was: ₹8,639.00.₹6,912.00Current price is: ₹6,912.00.
The second volume of a pair that charts relation algebras from novice to expert level, this text brings the well-grounded reader to the frontiers of research. Building on the foundations established in the preceding Introduction to Relation Algebras, this volume advances the reader into the deeper mathematical results of the past few decades.
-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%
An Algebraic Introduction to Mathematical Logic
Original price was: ₹8,118.00.₹6,495.00Current price is: ₹6,495.00.
-20%
An Algebraic Introduction to Mathematical Logic
Original price was: ₹8,118.00.₹6,495.00Current price is: ₹6,495.00.
-20%
An Invitation to Abstract Mathematics
Original price was: ₹5,512.00.₹4,410.00Current price is: ₹4,410.00.
This undergraduate textbook promotes an active transition to higher mathematics. Problem solving is the heart and soul of this book: each problem is carefully chosen to demonstrate, elucidate, or extend a concept.
-20%
An Invitation to Abstract Mathematics
Original price was: ₹5,512.00.₹4,410.00Current price is: ₹4,410.00.
This undergraduate textbook promotes an active transition to higher mathematics. Problem solving is the heart and soul of this book: each problem is carefully chosen to demonstrate, elucidate, or extend a concept.