Kleine Büning, Hans, and Theodor Lettmann. Aussagenlogik - Deduktion und Algorithmen. Leitfäden und Monographien der Informatik. Teubner, 1994.https://doi.org/10.1007/978-3-322-84809-3 .
LibreCat: /record/3333
DOI: 10.1007/978-3-322-84809-3