TY - BOOK AU - Schmidt H A TI - Mathematische gesetze der logik: Vorlesungen uber aussagenlogik U1 - 511.3=3 PY - 1960/// CY - Berlin PB - Springer-Verlag KW - Mathematical logic ER -