Introduction to mathematical logic

Elliott Mendelson
CRC Press
9781584888765
1-58488-876-8