TY  - GEN
AU  - Boffa, Maurice
AU  - Dalen, Dirk Van
AU  - 
TI  - LOGIC COLLOQUIUM `78
U1  - 511.3 
PY  - 1979///
CY  - Amsterdam
PB  - North-Holland
KW  - Logic, Symbolic And Mathematical -- Congresses
ER  -