Logic in Computer Science: Modelling and Reasoning about Systems (Photo) - Huth Michael (Cambridge University Press, 2002)
1. Propositional logic