Introduction to Mathematical Logic Third Edition. The Wadsworth (1987)

by Elliott Mendelson