This introductory graduate text covers modern mathematical logic
from propositional, first-order, higher-order and infinite logic
and Godel'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. He also provides
extensive introductions to set theory, model theory and recursion
(computability) theory, which allows this book to be used as a
classroom text, for self-study, and as a reference on the state of
modern logic.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!