-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