Logic, Sets, and Recursion, Second Edition provides a comprehensive introduction to logic, the basic ideas of set theory, and mathematical induction at the undergraduate level ...

"How does one summarize a book about rainforest adventures, probability, the Cafe Luxembourg, Euclid, and prime numbers? This is an absolutely delightful book, full of insight ...

This book is a text of mathematical logic on a sophisticated level, presenting the reader with several of the most significant discoveries of the last 10 to 15 years, including ...

Degrees of unsolvability

This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and G del's Incompleteness Theorems to extensive ...