Beginner's Further Guide To Mathematical Logic, A Ebook Tooltip

Auteur: Raymond M Smullyan
Taal: Engels

Afbeeldingen
Inkijkexemplaar

Artikel vergelijken

Bekijk nu
Auteur: Raymond M Smullyan Raymond M. Smullyan
  • Engels
  • E-book
  • 9789814733014
  • 11 november 2016
  • -72252
Alle productspecificaties
  • Je leest ebooks gemakkelijk op je Kobo e-reader, of op je smartphone of tablet met de bol.com Kobo app. Let op! Ebooks kunnen niet geannuleerd of geretourneerd worden.

Samenvatting

'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'

The Mathematical Gazette

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.

Productspecificaties

Inhoud

Taal
en
Bindwijze
E-book
Oorspronkelijke releasedatum
11 november 2016
Ebook Formaat
-72252
Illustraties
Nee

Betrokkenen

Hoofdauteur
Raymond M Smullyan
Tweede Auteur
Raymond M. Smullyan
Hoofduitgeverij
World Scientific

Lees mogelijkheden

Lees dit ebook op
Desktop (Mac en Windows) | Kobo e-reader | Android (smartphone en tablet) | iOS (smartphone en tablet) | Windows (smartphone en tablet)

Overige kenmerken

Studieboek
Ja
Verpakking breedte
152 mm
Verpakking hoogte
15 mm
Verpakking lengte
231 mm
Verpakkingsgewicht
381 g

EAN

EAN
9789814733014

Je vindt dit artikel in

Categorieën
Beschikbaarheid
Leverbaar
Taal
Engels
Boek, ebook of luisterboek?
Ebook
Studieboek of algemeen
Algemene boeken

Reviews
Nog geen reviews
Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.

Kies gewenste uitvoering

Kies je bindwijze (3)
E-book €16,99 Paperback €25,99 Hardcover €69,99

Prijsinformatie en bestellen

De prijs van dit product is 16 euro en 99 cent.
Direct beschikbaar
Verkoop door bol
Ebook
  • E-book is direct beschikbaar na aankoop
  • E-books lezen is voordelig
  • Dag en nacht klantenservice
  • Veilig betalen
Houd er rekening mee dat je downloadartikelen niet kunt annuleren of retourneren. Bij nog niet verschenen producten kun je tot de verschijningsdatum annuleren.
Zie ook de retourvoorwaarden

Anderen bekeken ook

Bekijk de hele lijst