TY - BOOK AU - Lorenzen, Paul TI - Einfuhrung in die operative logik und mathematik PY - 1955/// CY - BERLIN PB - SPRINGER - VERLAG KW - MATHEMATICS ER -