The logic book - Bergmann, Merrie (McGraw Hill, 1990)