TY - BOOK AU - Stenlund Soren Ed. TI - Logical theory and semantic analysis T2 - Synthese library U1 - R1, L4 PY - 1974/// CY - Boston PB - D Reidel Publishing ER -