This work is a sequel to the author's Godel's Incompleteness Theorems, though it can be read independently by anyone familiar with Godel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Artikel-Nr. 9812425-20
Anzahl: 1 verfügbar
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Zustand: Fine. *Price HAS BEEN REDUCED by 10% until Monday, Oct 26 (SALE item)* first edition, first printing; 184 pp., Hardcover, previous owner's name to the front free endpaper, else fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Artikel-Nr. ZB1353296
Anzahl: 1 verfügbar
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: New. pp. 180 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Artikel-Nr. 7378521
Anzahl: 1 verfügbar
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In English. Artikel-Nr. ria9780195082326_new
Anzahl: Mehr als 20 verfügbar
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Deutschland
Hardcover. Zustand: gut. 1993. Recursion Theory for Metamathematics In englischer Sprache. pages. Artikel-Nr. BN169730
Anzahl: 1 verfügbar
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. In 1931, Princeton mathematician Kurt Godel startled the scientific world with his 'Theorem of Undecidability', which showed that some statements in mathematics are inherently 'undecidable'. This volume of the 'Oxford Logic Guides' is a sequel to Smullyan's Godel's 'Incompleteness Theorems' (Oxford Logic Guides No. 19, 1992). Series: Oxford Logic Guides. Num Pages: 184 pages, bibliography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 163 x 242 x 17. Weight in Grams: 422. . 1993. hardcover. . . . . Books ship from the US and Ireland. Artikel-Nr. V9780195082326
Anzahl: Mehr als 20 verfügbar