Introduction to Mathematical Logic
by Elliott Mendelson
Get BookMosh