TY  - BOOK
AU  - Lorenzen Paul
TI  - Einfuhrung in die operative logik und mathematik
U1  - 511.3=3 
PY  - 1955///
CY  - Heidelberg
PB  - Springer
KW  - Mathematical logic
KW  - Operative logic
ER  -