TY - BOOK A1 - Socher, Rolf T1 - Deduktionssysteme KW - Deduktionssystem Y1 - 2015 UR - https://opus4.kobv.de/opus4-fhbrb/frontdoor/index/index/docId/1292 SN - 3-411-17171-5 PB - BI-Wiss.-Verl. CY - Mannheim [u.a.] ER -