TY  - BOOK
AU  - Harbeck, Gerd
TI  - EINFUHRUNG IN DIE FORMALE LOGIK
U1  - 164 
PY  - 1963///
PB  - Friedr. Vieweg & Sohn
KW  - Logic
ER  -