A Course in Mathematical Logic for Mathematicians

• Main Author: Manin, Yu. I. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: New York, NY : Springer New York, 2010.
• Series: Graduate Texts in Mathematics, 53
• Subjects: Mathematics.; Logic.; Mathematical logic.; Mathematical Logic and Foundations.

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...

Table of Contents:

• PROVABILITY
• to Formal Languages
• Truth and Deducibility
• The Continuum Problem and Forcing
• The Continuum Problem and Constructible Sets
• COMPUTABILITY
• Recursive Functions and Church#x2019;s Thesis
• Diophantine Sets and Algorithmic Undecidability
• PROVABILITY AND COMPUTABILITY
• G#x00F6;del#x2019;s Incompleteness Theorem
• Recursive Groups
• Constructive Universe and Computation
• MODEL THEORY
• Model Theory.