A First Course in Logic

An Introduction to Model Theory, Proof Theory, Computability, and Complexity

Shawn Hedman (Autor)

Buch | Hardcover

452 Seiten

2004
Oxford University Press (Verlag)
978-0-19-852980-4 (ISBN)

Artikel merken

The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.

Preliminaries ; 1. Propositional Logic ; 2. Structures and First-Order Logic ; 3. Proof Theory ; 4. Properties of First-Order Logic ; 5. First-Order Theories ; 6. Models of Countable Theories ; 7. Computability and Complexity ; 8. The Incompleteness Theorems ; 9. Beyond First-Order Logic ; 10. Finite Model Theory ; Bibliography ; Index

Erscheint lt. Verlag	8.7.2004
Reihe/Serie	Oxford Texts in Logic
Verlagsort	Oxford
Sprache	englisch
Maße	173 x 248 mm
Gewicht	894 g
Themenwelt	Geisteswissenschaften ► Philosophie ► Logik
	Mathematik / Informatik ► Informatik ► Theorie / Studium
	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	0-19-852980-5 / 0198529805
ISBN-13	978-0-19-852980-4 / 9780198529804
Zustand	Neuware