TY  - BOOK
AU  - Dalen Dirk Van
TI  - Logic and structure
U1  - R14, M3 
PY  - 1983///
CY  - New York  
PB  -  Springer-Verlag      
ER  -