![MATHEMATICAL LOGIC A First Course [Unknown] B000GK42IK Book Cover](https://m.media-amazon.com/images/I/51T59hb6+pL._SL500_.jpg)

This self-contained text will appeal to readers from diverse fields and varying backgrounds. Topics include 1st-order recursive arithmetic, 1st- and 2nd-order logic, and the arithmetization of syntax. Numerous exercises; some solutions. 1969 edition.