A Course in Mathematical Logic

Graduate Texts in Mathematics #53

by Yu.I. Manin

I Provability.- I Introduction to formal languages.- II Truth and deducibility.- III The continuum problem and forcing.- IV The continuum problem and constructible sets.- II Computability.- V Recursive functions and Church's thesis.- VI Diophantine sets and algorithmic undecidability.- III Provability and Computability.- VII Gödel's incompleteness theorem.- VIII Recursive groups.

Genres: Mathematics, Logic, Philosophy

308 pages, Paperback

First published December 19, 1977

Reviews

[Mills College Library]

511.3 M2782 1977