A Course in Mathematical Logic for Mathematicians

• Κύριος συγγραφέας: Manin, Yu. I. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: New York, NY : Springer New York, 2010.
• Σειρά: Graduate Texts in Mathematics, 53
• Θέματα: 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...

Πίνακας περιεχομένων:

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