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.
Search results for A Course in Mathematical Logic
Stock Image
Course in Mathematical Logic
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
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
Buy New
£ 45.45
£ 4.16 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Course in Mathematical Logic
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9781475743869
Stock Image
A Course in Mathematical Logic
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781475743869_new
Buy New
£ 44.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available