TY - BOOK AU - Lorenzen, Paul TI - EINFUHRUNG IN DIE OPERATIVE LOGIK UND MATHEMATIK U1 - 511.3 PY - 1969/// CY - Berlin PB - Springer-Verlag KW - Logic, Symbolic And Mathematical N1 - Literatur : P. 274-275 ER -