Faithin Omaha eBook Collection

This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer sc

1. The ?rst edition of this book was published in 1977. The text has been well received and is still used, although it has been out of print for some time. In t

Rigorous introduction is simple enough in presentation and context for wide range of students. Symbolizing sentences; logical inference; truth and validity; tru

Fascinating study of the origin and nature of mathematical thought, including relation of mathematics and science, 20th-century developments, impact of computer