Logic for mathematics and computer science - Burris, Stanley N. (Prentice Hall, 1998)