Normal view MARC view ISBD view

A course in mathematical logic for mathematicians/

Manin, Yu. I.

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.

ISBN: 1441906142

Subjects--Topical Terms:
Logic
Model theory
Proof theory
Mathematics

Dewey Class. No.: 511.3 / MAN/C

Print
Add to your cart (remove)
Suggest for purchase
Send to device
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD