Items related to A Course in Mathematical Logic

A Course in Mathematical Logic - Softcover

Manin, Yu.I.

  • 4.28 out of 5 stars
    18 ratings by Goodreads
 
9781475743869: A Course in Mathematical Logic

Synopsis

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.

"synopsis" may belong to another edition of this title.