Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1 Publication
1994 | Book | LibreCat-ID: 3333
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
| DOI