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
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
Additional information
| Book Format | Hardcover, Softcover |
|---|
Book information
Related Products
A Concise Introduction to Analysis
A Concise Introduction to Analysis
A Compactification of the Bruhat-Tits Building
A Compactification of the Bruhat-Tits Building
A Course in Algebraic Error-Correcting Codes
A Course in Algebraic Error-Correcting Codes
A Course in Python: The Core of the Language
Reviews
There are no reviews yet.