Fundamentals of mathematical logic
Hinman, Peter G
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 atudents' 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.
Abstract: Covering modern mathematical logic, this introductory graduate text develops students' intuition by presenting complex ideas in the simplest context for which they make sense. It can be used as a classroom text, for self-study, and as a reference on the state of modern logic.
Abstract: Covering modern mathematical logic, this introductory graduate text develops students' intuition by presenting complex ideas in the simplest context for which they make sense. It can be used as a classroom text, for self-study, and as a reference on the state of modern logic.
Categories:
Year:
2005
Publisher:
A.K. Peters
Language:
english
Pages:
878
ISBN 10:
1568812620
ISBN 13:
9781568812625
File:
PDF, 9.56 MB
IPFS:
,
english, 2005