TY  - BOOK
AU  - 	D Van Dalen; 
AU  - T J Smiley; D Lascar
TI  - Logic Colloquium '80.
SN  - 0444864652
U1  - 511.3 
PY  - 1982///
CY  - 	Burlington : 
PB  - Elsevier Science
KW  - Logic
N1  - Includes index
ER  -