Um eUniverse.ch in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktiveren.

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

119.12 CHF

Versandkostenfrei

Lieferzeit: 7-14 Werktage

Artikel-Nr.: 10311891

Beschreibung

Preface to the Second Edition.- Preface.- Introduction.- 1. Propositional Calculus.- 2. First-Order Logic.- 3. Provability and Refutability.- 4. Further Topics in First-Order Logic.- 5. Type Theory.- 6. Formalized Number Theory.- 7. Incompleteness and Undecidability.- Supplementary Exercises.- Summary of Theorems.- Bibliography.- List of Figures.- Index.

Eigenschaften

Gewicht:	778 g
Höhe:	240
Seiten:	390
Sprachen:	Englisch
Autor:	Peter B. Andrews

Bewertung

Menü schließen

Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.

Artikel vergleichen

Mindestens noch einen Artikel hinzufügen um Vergleich zu starten.

Bestseller Kategorie

Topseller