The Logic Book - Bergmann M (2004)