TY - BOOK AU - STENLUND, SOREN TI - LOGICAL THEORY AND SEMANTATIC ANALYSIS / U1 - 160 PY - 1974/// CY - DORDRECHT HOLLAND PB - D. REIDEL PUB KW - LOGIC ER -