A Tour Through Mathematical Logic

A Tour through Mathematical Logic provides a tour through the main branches of the foundations of mathematics. It contains chapters covering elementary logic, basic set theory, recursion theory, Gödel’s (and others’) incompleteness theorems, model theory, independence results in set theory, nonstand...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Wolf, Robert S.
Format:	E-Book Buch
Sprache:	Englisch
Veröffentlicht:	Providence, Rhode Island American Mathematical Society 2005 Mathematical Association of America
Ausgabe:	1
Schriftenreihe:	Carus Mathematical Monographs
Schlagworte:	Algebra, Abstract Logic, Symbolic and mathematical Mathematics
ISBN:	0883850427, 9780883850428, 0883850362, 9780883850367
ISSN:	0069-0813, 2637-7535
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!