Combining stories of great writers and philosophers with quotations and riddles, this completely original text for first courses in mathematical logic examines

Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals

This comprehensive overview ofmathematical logic is designedprimarily for advanced undergraduatesand graduate studentsof mathematics. The treatmentalso contains

Forallx is an introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century an

This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathemat