TY  - BOOK
AU  - Stenlund,Soren  .
TI  - Logical theory and semantic analysis / 
U1  - 160 
PY  - 1974///
CY  - Holland : 
PB  - D Reidel Publishing , 
KW  - LOGIC
N1  - HB; Includes index
ER  -