TY - BOOK AU - Lorenzen, Paul TI - Formale Logik U1 - 160 PY - 1962/// CY - Berlin PB - Walter De Gruyter ER -