Fundamentals of Mathematical Logic

Front Cover
Taylor & Francis, Sep 9, 2005 - Mathematics - 896 pages
0 Reviews
This introductory graduate text covers 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. Based on the author's more than 35 years of teaching experience, the book develops students' intuition by presenting complex ideas in the simplest context for which they make sense. The book is appropriate for use as a classroom text, for self-study, and as a reference on the state of modern logic.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Propositional Logic and Other Fundamentals
13
FirstOrder Logic
83
Completeness and Compactness
193
Copyright

9 other sections not shown

Common terms and phrases

References to this book

Bibliographic information