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.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In. Seller Inventory # ria9781475743869_new
Quantity: Over 20 available
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9781475743869
Quantity: Over 20 available
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9781475743869
Quantity: Over 20 available