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

Mathematical Logic and Computability

H. Jerome Keisler, Joel Robbin (Autoren)

Buch | Hardcover

352 Seiten

1996
McGraw-Hill Education (ISE Editions) (Verlag)
978-0-07-114426-1 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

Intended for a one-semester advanced undergraduate course in mathematical logic, this text requires some prior knowledge of mathematical proof. The authors emphasize proof theory of computation rather than set theory. A disk, featuring examples, is also available.

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

Erscheint lt. Verlag	1.5.1996
Reihe/Serie	International Series in Pure & Applied Mathematics
Zusatzinfo	bibliography, index
Verlagsort	London
Sprache	englisch
Gewicht	680 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	0-07-114426-9 / 0071144269
ISBN-13	978-0-07-114426-1 / 9780071144261
Zustand	Neuware