Propositional logic

Hans Kleine Büning, Theodor Lettman
Cambridge University Press
9780521630177
0-521-63017-7