Für diesen Artikel ist leider kein Bild verfügbar.

Mathematical Logic and Computability

H. Jerome Keisler, Joel Robbin (Autoren)

Buch | Hardcover

352 Seiten

1994
McGraw-Hill Inc.,US (Verlag)
978-0-07-033939-2 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

Intended for a one-semester advanced undergraduate course in mathematical logic, this book requires some prior knowledge of mathematical proof. The authors emphasize proof theory of computation rather than set theory. A disk, featuring numerous examples, is also available (ISBN: 0-07-840027-9).

Propositional logic; pure predicate logic; full predicate logic; computable functions; the incompleteness theorems.

Reihe/Serie	International Series in Pure & Applied Mathematics
Zusatzinfo	bibliography, index
Verlagsort	New York
Sprache	englisch
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	0-07-033939-2 / 0070339392
ISBN-13	978-0-07-033939-2 / 9780070339392
Zustand	Neuware