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