A Course in Mathematical Logic for Mathematicians
Manin, Yu. I. / Koblitz, Neal![A Course in Mathematical Logic for Mathematicians](https://support.digitalhusky.com/media/annotations/sorted/126/12607503/CHSBZCOP0312607503.jpg)
A Course in Mathematical Logic for Mathematicians, Second Edition offers a straightforward introduction to modern mathematical logic that will appeal to the intuition of working mathematicians. The book begins with an elementary introduction to formal languages and proceeds to a discussion of proof theory. It then presents several highlights of 20th century mathematical logic, including theorems of Gödel and Tarski, and Cohen's theorem on the ...