2016, ISBN: 9789814725729

Kartoniert, 288 Seiten, 229mm x 152mm x 16mm, Sprache(n): eng This is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan. This book is a sequel to m… Mehr…

Kartoniert, 288 Seiten, 229mm x 152mm x 16mm, Sprache(n): eng This is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan. This book is a sequel to my Beginner's Guide to Mathematical Logic. The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on Gödel's famous incompleteness theorem, along with related results. The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a "fein" chapter, which simultaneously generalizes some results from recursion theory, first-order arithmetic systems, and what I dub a "decision machine." Then come five chapters on formal systems, recursion theory and metamathematical applications in a general setting. The concluding five chapters are on the beautiful subject of combinatory logic, which is not only intriguing in its own right, but has important applications to computer science. Argonne National Laboratory is especially involved in these applications, and I am proud to say that its members have found use for some of my results in combinatory logic. This book does not cover such important subjects as set theory, model theory, proof theory, and modern developments in recursion theory, but the reader, after studying this volume, will be amply prepared for the study of these more advanced topics. Versandkostenfreie Lieferung<

2016, ISBN: 9789814725729

Taschenbuch

WSPC, Taschenbuch, Auflage: 1, 288 Seiten, Publiziert: 2016-11-11T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: unknown, 0.9 kg, Verkaufsrang: 1292954, Algebra & Zahlentheorie, Naturwis… Mehr…

WSPC, Taschenbuch, Auflage: 1, 288 Seiten, Publiziert: 2016-11-11T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: unknown, 0.9 kg, Verkaufsrang: 1292954, Algebra & Zahlentheorie, Naturwissenschaft & Mathematik, Fachbücher, Kategorien, Bücher, Naturwissenschaften & Technik, Fremdsprachige Bücher, Featured Categories, Englische Bücher, 7c9a6c79-19ea-4dea-90da-d7d47042d341_2301, 7c9a6c79-19ea-4dea-90da-d7d47042d341_0, Arborist Merchandising Root, acc906d0-2585-4921-a56f-3ff277850936_4901, acc906d0-2585-4921-a56f-3ff277850936_0, Special Features Stores, Taschenbücher, acc906d0-2585-4921-a56f-3ff277850936_4201, WSPC, 2016<

2016, ISBN: 9789814725729

[ED: Kartoniert / Broschiert], [PU: WSPC], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextrnrnThis is the final book written b… Mehr…

[ED: Kartoniert / Broschiert], [PU: WSPC], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextrnrnThis is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.nThis book is a sequel to my Beginner s Guide t, DE, [SC: 0.00], Neuware, gewerbliches Angebot, Taschenbuch, 288, [GW: 408g], Banküberweisung, PayPal, [CT: Naturwissenschaft/Mathematik / Sonstiges - Naturwissenschaften]<

2016, ISBN: 9789814725729

[ED: Kartoniert / Broschiert], [PU: WSPC], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextrnrnThis is the final book written b… Mehr…

[ED: Kartoniert / Broschiert], [PU: WSPC], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextrnrnThis is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.nThis book is a sequel to my Beginner s Guide t, DE, Neuware, gewerbliches Angebot, Taschenbuch, 288, [GW: 408g], Banküberweisung, PayPal, [CT: Naturwissenschaft/Mathematik / Sonstiges - Naturwissenschaften]<

2016, ISBN: 9814725722

Kartoniert / Broschiert, mit Schutzumschlag 11, [PU:WSPC]