Fundamentals of Mathematical Logic
Regular price
€132.99
A01=Peter G. Hinman
advanced set theory concepts
Atomic Formula
Author_Peter G. Hinman
Binary Relation Symbol
Boolean Algebra
Calculable Function
Category=PBCH
Category=PBD
Completeness Theorem
computability and decidability
Constant Symbols
Countable Language
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Extension Lemmas
formal reasoning systems
Formula Induction
graduate level mathematical logic textbook
Incompleteness Theorem
Induction Hypothesis
Induction System
Interpolation Theorem
Limit Cardinal
mathematical proof techniques
model theory applications
Non-logical Symbols
Partial Embedding
Partial Recursive Function
Primitive Recursion
Primitive Recursive Function
Recursive Functions
Recursive Relation
Recursively Enumerable
Representability Theorem
symbolic logic foundations
Theory T1
Uncountable Cardinal
Product details
- ISBN 9781568812625
- Weight: 1224g
- Dimensions: 152 x 229mm
- Publication Date: 09 Sep 2005
- Publisher: Taylor & Francis Inc
- Publication City/Country: US
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
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.
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.
