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