TY - BOOK AU - Dalen,Dirk van TI - Logic and structure SN - 038712831X (U.S. : pbk.) U1 - 511.3 19 PY - 1983/// CY - Berlin, New York PB - Springer-Verlag KW - Logic, Symbolic and mathematical N1 - Includes index; Bibliogr. p. [203] ER -