search for books and compare prices
Tables of Contents for Logic for Mathematicians
Chapter/Section Title
Page #
Page Count
Preface
1. Informal statement calculus
2. Formal statement calculus
3. Informal predicate calculus
4. Formal predicate calculus
5. Mathematical systems
6. The Gö
del incompleteness theorem
7. Computability, unsolvability, undecidability
Appendix
Hints and solutions to selected exercises
References and further reading
Glossary of symbols
Index.