RT Book T1 Einführung in die formale Logik T2 Beihefte für den mathematischen Unterricht JF Beihefte für den mathematischen Unterricht A1 Harbeck, Gerd LA German PP Braunschweig PB Friedr. Vieweg & Sohn YR 1963 UL https://ixtheo.de/Record/1109073208 CN 10a K1 Mathematische Logik K1 Einführung