A course in mathematical logic for mathematicians /

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

Full description

Bibliographic Details
Main Author: Manin, I︠U︡. I.
Other Authors: Koblitz, Neal, Zilber, Boris
Format: Printed Book
Language:English
Russian
Published: New York : Springer, 2010.
Edition:2nd ed.
Series:Graduate texts in mathematics ; 53.
Subjects:
Logic, Symbolic and mathematical.
Einführung.
Mathematische Logik.
Table of Contents:
  • Provability: I. Introduction to formal languages ; II. Truth and deducibility ; III. The continuum problem and forcing ; IV. The continuum problem and constructible sets
  • Computability: V. Recursive functions and Church's thesis ; VI. Diophantine sets and algorithmic undecidability
  • Provability and computability: VII. Gödel's incompleteness theorem ; VIII. Recursive groups ; IX. Constructive universe and computation
  • Model theory: X. Model theory.

Similar Items