Introduction to Mathematical Logic

Richard E. Hodel (Autor)

Buch | Hardcover

512 Seiten

1997
PWS (Verlag)
9780534944407 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

A mathematics-based logic text with strong emphasis on recursion theory and a new approach emphasizing Godel's theorem building to Hilbert's "Tenth Problem". Topics discussed include propositional logic, first order languages and first order logic against a background of logic and mathematics.

Background; semantics of propositional logic; propositional logic; first order languages; first order logic; logic and mathematics; Godel's "Incompleteness Theorem" ,using Church's thesis; recursive functions - theorems of Godel, Church and Tarski; computability theory; Hilbert's "Tenth Problem".

Erscheint lt. Verlag	1.9.1997
Zusatzinfo	Illustrations
Verlagsort	London
Sprache	englisch
Maße	171 x 248 mm
Gewicht	748 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-13	9780534944407 / 9780534944407
Zustand	Neuware