Faithin Omaha eBook Collection

This textbook gives a comprehensive and modern introduction to mathematical logic at the upper-undergraduate and beginning graduate level.

A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic . . . ideal for advanced students of mathematics, computer scien

This volume offers insights into the development of mathematical logic over the last century. Arising from a special session of the history of logic at an Ameri

This introduction to mathematical logic explores philosophical issues and Gödel's Theorem. Its widespread influence extends to the author of Gödel, Escher, Ba

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