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