TY - BOOK AU - Schutte,K. TI - Vollstandige Systeme modaler und intuitionistischer Logik PY - 1968/// CY - Berlin, New York PB - Springer-Verlag KW - Logic, Symbolic and mathematical N1 - Bibliography: p. [85] ER -