A course in mathematical logic for mathematicians/
Yu. I. Manin
- 2nd ed.
- New York: Springer, c2010.
- xvii, 384 p. : ill. ; 25 cm.
- (Graduate texts in mathematics), 53 .
Provability Introduction to formal languages -- Truth and deducibility -- The continuum problem and forcing -- The continuum problem and constructible sets -- Computability Recursive functions and Church's thesis -- Diophantine sets and algorithmic undecidability -- Provability and computability Godel's incompleteness theorem -- Recursive groups-- Constructive universe and computation -- Model theory.