Kleine Büning, H., &; Lettmann, T. (1994). Aussagenlogik - Deduktion und Algorithmen. Teubner.https://doi.org/10.1007/978-3-322-84809-3 
LibreCat: /record/3333
DOI: 10.1007/978-3-322-84809-3