Fundamentals of Mathematical Logic

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

180,60 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Beschreibung

Covering modern mathematical logic from propositional, first-order and infinitary logic and Gödel's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. The book is appropriate for use as a classroom text, for self-study, and as a reference on the state of modern logic.

Über den Autor

Peter G. Hinman earned his B.A. in mathematics from Harvard University in 1959. He studied mathematics at the graduate level in Berkeley at the University of California. In 1966, under the guidance of Professor John Addison, he received his Ph.D. in Mathematical Logic with a particular focus on Recursion Theory. He is currently a professor at the University of Michigan where he has taught since 1966 and advised seven successful Ph.D. students. In 1978 he published his first book Recursion-Theoretic Hierarchies.

Inhaltsverzeichnis

Introduction, 1 Propositional Logic and Other Fundamentals, 2 First-Order Logic, 3 Completeness and Compactness, 4 Incompleteness and Undecidability, 5 Topics in Definability, 6 Set Theory, 7 Model Theory, 8 Recursion Theory. References.

Details

Erscheinungsjahr:	2005
Fachbereich:	Grundlagen
Genre:	Importe , Mathematik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
Inhalt:	Einband - fest (Hardcover)
ISBN-13:	9781568812625
ISBN-10:	1568812620
Sprache:	Englisch
Einband:	Gebunden
Autor:	Hinman, Peter G.
Hersteller:	A K Peters/CRC Press
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	235 x 157 x 52 mm
Von/Mit:	Peter G. Hinman
Erscheinungsdatum:	09.09.2005
Gewicht:	1,422 kg