TY  - BOOK
AU  - Manin, Yu. I.
TI  - A course in mathematical logic for mathematicians
SN  - 1441906142
U1  - 511.3 
PY  - 2010///
CY  - New York
PB  - Springer
KW  - Logic
KW  - Model theory
KW  - Proof theory
KW  - Mathematics
N1  - 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
ER  -