A Course in Mathematical Logic for Mathematicians

• Main Author: Manin, Yu. I. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic
• Language: English
• Published: New York, NY : Springer New York, 2010.
• Series: Graduate Texts in Mathematics, 53
• Subjects: Mathematics.; Logic.; Logic, Symbolic and mathematical.; Mathematical Logic and Foundations.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-1-4419-0615-1

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:

• Preface to the Second Edition
• Preface to the First Edition
• Introduction to Formal Languages
• Truth and Deducibility. The Continuum Problem and Forcing
• The Continuum Problem and Constructible Sets
• Recursive Functions and Church's Thesis
• Diophantine Sets and Algorithmic Undecidability
• Gd̲el's Incompleteness Theorem
• Recursive Groups
• Constructive Universe and Computation
• Model Theory
• Suggestions for Further Reading
• Index.-.