Kleine Büning H, Lettmann T. 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