-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.
-20%
Around Classification Theory of Models
Original price was: ₹5,511.00.₹4,410.00Current price is: ₹4,410.00.
-20%
Around Classification Theory of Models
Original price was: ₹5,511.00.₹4,410.00Current price is: ₹4,410.00.
-20%
Axiom of Choice
Original price was: ₹6,033.00.₹4,827.00Current price is: ₹4,827.00.
AC, the axiom of choice, because of its non-constructive character, is the most controversial mathematical axiom, shunned by some, used indiscriminately by others. This treatise shows paradigmatically that: - Disasters happen without AC: Many fundamental mathematical results fail (being equivalent in ZF to AC or to some weak form of AC). - Disasters happen with AC: Many undesirable mathematical monsters are being created (e.g., non measurable sets and undeterminate games).
-20%
Axiom of Choice
Original price was: ₹6,033.00.₹4,827.00Current price is: ₹4,827.00.
AC, the axiom of choice, because of its non-constructive character, is the most controversial mathematical axiom, shunned by some, used indiscriminately by others. This treatise shows paradigmatically that: - Disasters happen without AC: Many fundamental mathematical results fail (being equivalent in ZF to AC or to some weak form of AC). - Disasters happen with AC: Many undesirable mathematical monsters are being created (e.g., non measurable sets and undeterminate games).
-20%
Axiomatic Set Theory
Original price was: ₹9,160.00.₹7,329.00Current price is: ₹7,329.00.
This text deals with three basic techniques for constructing models of Zermelo-Fraenkel set theory: relative constructibility, Cohen's forcing, and Scott-Solovay's method of Boolean valued models.
-20%
Axiomatic Set Theory
Original price was: ₹9,160.00.₹7,329.00Current price is: ₹7,329.00.
This text deals with three basic techniques for constructing models of Zermelo-Fraenkel set theory: relative constructibility, Cohen's forcing, and Scott-Solovay's method of Boolean valued models.
-20%
Axiomatic Thinking I
Original price was: ₹9,682.00.₹7,746.00Current price is: ₹7,746.00.
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere.
-20%
Axiomatic Thinking I
Original price was: ₹9,682.00.₹7,746.00Current price is: ₹7,746.00.
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere.
-20%
Axiomatic Thinking II
Original price was: ₹10,724.00.₹8,580.00Current price is: ₹8,580.00.
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere.
-20%
Axiomatic Thinking II
Original price was: ₹10,724.00.₹8,580.00Current price is: ₹8,580.00.
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere.
-21%
Banach Spaces and Descriptive Set Theory: Selected Topics
Original price was: ₹3,944.00.₹3,155.00Current price is: ₹3,155.00.
author has been a central player in new developments of this area This book is a much needed exposition
-21%
Banach Spaces and Descriptive Set Theory: Selected Topics
Original price was: ₹3,944.00.₹3,155.00Current price is: ₹3,155.00.
author has been a central player in new developments of this area This book is a much needed exposition
-20%
Biological Models via Interval Type-2 Fuzzy Sets
Original price was: ₹6,554.00.₹5,244.00Current price is: ₹5,244.00.
This book offers a gentle introduction to type-2 fuzzy sets and, in particular, interval type-2 fuzzy sets and their application in biological modeling. Interval type-2 fuzzy modeling is a comparatively recent direction of research in fuzzy modeling.
-20%
Biological Models via Interval Type-2 Fuzzy Sets
Original price was: ₹6,554.00.₹5,244.00Current price is: ₹5,244.00.
This book offers a gentle introduction to type-2 fuzzy sets and, in particular, interval type-2 fuzzy sets and their application in biological modeling. Interval type-2 fuzzy modeling is a comparatively recent direction of research in fuzzy modeling.
-20%
Cabal Seminar 77 – 79: Proceedings, Caltech-UCLA Logic Seminar 1977 – 79
Original price was: ₹5,511.00.₹4,410.00Current price is: ₹4,410.00.
-20%
Cabal Seminar 77 – 79: Proceedings, Caltech-UCLA Logic Seminar 1977 – 79
Original price was: ₹5,511.00.₹4,410.00Current price is: ₹4,410.00.
-20%
Cambridge Summer School in Mathematical Logic: Held in Cambridge /U. K., August 1-21, 1971
Original price was: ₹5,507.00.₹4,406.00Current price is: ₹4,406.00.
-20%
Cambridge Summer School in Mathematical Logic: Held in Cambridge /U. K., August 1-21, 1971
Original price was: ₹5,507.00.₹4,406.00Current price is: ₹4,406.00.