Fundamentals of Mathematical Logic

Based on the author's 35-plus years of teaching experience, this introductory graduate text develops students' intuition by presenting complex ideas in the simplest context for which they make sense. The author covers the essentials of modern Mathematical Logic including propositional, first-order, higher-order and infinitary logic, as well as the G'del Incompleteness Theorems. He also provides extensive introductions to set theory, model theory and recursion (computability) theory, which allows this book to be used as an introduction, advanced, and reference text.Hinman, Peter G. is the author of 'Fundamentals of Mathematical Logic ', published 2005 under ISBN 9781568812625 and ISBN 1568812620.