 | ||||||||||||||||
| ||||||||||||||||
by Joel W. Robbin
|
ISBN: 048645018X Dover Publications Price: $13.95 |
click here to see this book |
Suitable for advanced undergraduates and graduate students, this self-contained text will appeal to readers from diverse fields and varying backgrounds — including mathematics, philosophy, linguistics, computer science, and engineering. Topics include 1st-order recursive arithmetic, 1st- and 2nd-order logic, and the arithmetization of syntax. Numerous exercises; some solutions. 1969 edition.
Slightly corrected republication of the edition published by W. A. Benjamin Inc., New York, 1969.
Table of Contents for Mathematical Logic: A First Course
| 1. The Propositional Calculus | |||||||
| 2. First-Order Logic | |||||||
| 3. First-Order Recursive Arithmetic | |||||||
| 4. Arithmetization of Syntax | |||||||
| 5. The Incompleteness Theorems and Other Applications of the Liar Paradox | |||||||
| 6. Second-Order Logic | |||||||
| Appendix | |||||||
| Answers to Selected Exercises | |||||||
| Suggested Reading | |||||||
| Index |