Lettmann, T., &; Kleine Büning, H. (1999). Propositional Logicf: Deduction and Algorithms. Cambridge Univ. Press.
LibreCat: /record/3339