Beginner's Further Guide To Mathematical Logic, A
Afbeeldingen
Artikel vergelijken
- Engels
- Paperback
- 9789814725729
- 13 januari 2017
- 288 pagina's
Samenvatting
'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'The Mathematical GazetteThis 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 Goedel'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.
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Taal
- en
- Bindwijze
- Paperback
- Oorspronkelijke releasedatum
- 13 januari 2017
- Aantal pagina's
- 288
- Illustraties
- Nee
Betrokkenen
- Hoofdauteur
- Raymond M Smullyan
- Tweede Auteur
- Raymond M. Smullyan
- Hoofduitgeverij
- World Scientific Publishing Co Pte Ltd
Overige kenmerken
- Editie
- 1
- Extra groot lettertype
- Nee
- Product breedte
- 150 mm
- Product hoogte
- 22 mm
- Product lengte
- 210 mm
- Studieboek
- Ja
- Verpakking breedte
- 155 mm
- Verpakking hoogte
- 20 mm
- Verpakking lengte
- 228 mm
- Verpakkingsgewicht
- 389 g
EAN
- EAN
- 9789814725729
Je vindt dit artikel in
- Categorieën
- Beschikbaarheid
- Leverbaar
- Taal
- Engels
- Boek, ebook of luisterboek?
- Boek
- Studieboek of algemeen
- Studieboeken
Kies gewenste uitvoering
Kies je bindwijze
(3)
Prijsinformatie en bestellen
De prijs van dit product is 25 euro en 99 cent.
2 - 3 weken
Verkoop door bol
- Prijs inclusief verzendkosten, verstuurd door bol
- Ophalen bij een bol afhaalpunt mogelijk
- 30 dagen bedenktijd en gratis retourneren
- Dag en nacht klantenservice
Vaak samen gekocht
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.