Dover Books on Mathematics - Mathematical Logic Ebook Tooltip Ebooks kunnen worden gelezen op uw computer en op daarvoor geschikte e-readers.

Name: Dover Books on Mathematics - Mathematical Logic
Author: Stephen Cole Kleene

Auteur: Stephen Cole Kleene

Taal: Engels

Afbeeldingen

Inkijkexemplaar

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: Stephen Cole Kleene Mathematics

Engels
E-book
9780486317076
22 april 2013
Adobe ePub

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

Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text. It begins with an elementary but thorough overview of mathematical logic of first order. The treatment extends beyond a single method of formulating logic to offer instruction in a variety of techniques: model theory (truth tables), Hilbert-type proof theory, and proof theory handled through derived rules.
The second part supplements the previously discussed material and introduces some of the newer ideas and the more profound results of twentieth-century logical research. Subsequent chapters explore the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Godel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Godel's completeness theorem, Gentzen's theorem, Skolem's paradox and nonstandard models of arithmetic, and other theorems. The author, Stephen Cole Kleene, was Cyrus C. MacDuffee Professor of Mathematics at the University of Wisconsin, Madison. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index.

Productspecificaties

Inhoud

Taal: en
Bindwijze: E-book
Oorspronkelijke releasedatum: 22 april 2013
Ebook Formaat: Adobe ePub
Illustraties: Nee

Betrokkenen

Hoofdauteur: Stephen Cole Kleene
Tweede Auteur: Mathematics
Hoofduitgeverij: Dover Publications Inc

Lees mogelijkheden

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

Overige kenmerken

Studieboek: Ja

EAN

EAN: 9780486317076

Je vindt dit artikel in

Categorieën: Wetenschap & Natuur

Wiskunde

Boeken
Taal: Engels
Boek, ebook of luisterboek?: Ebook
Studieboek of algemeen: Algemene boeken
Beschikbaar in Kobo Plus: Beschikbaar in Kobo Plus

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 (2)

E-book €24,51 E-book in Kobo Plus Gratis voor abonnees Hardcover €28,99

Prijsinformatie en bestellen

De prijs van dit product is 24 euro en 51 cent.

Direct beschikbaar

Verkoop door bol

Dover Books on Mathematics - Mathematical Logic

24,51 verkoop door: bol.com

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