Kleine Büning, Hans, and Theodor Lettmann. Aussagenlogik - Deduktion und Algorithmen. Teubner, 1994, doi:10.1007/978-3-322-84809-3.
LibreCat: /record/3333
DOI: 10.1007/978-3-322-84809-3