APA (7th ed.) Citation

Kleine Büning, H., & Lettmann, T. (1999). Propositional logic: Deduction and algorithms. Cambridge Univ. Press.

Chicago Style (17th ed.) Citation

Kleine Büning, Hans, and Theodor Lettmann. Propositional Logic: Deduction and Algorithms. Cambridge: Cambridge Univ. Press, 1999.

MLA (9th ed.) Citation

Kleine Büning, Hans, and Theodor Lettmann. Propositional Logic: Deduction and Algorithms. Cambridge Univ. Press, 1999.