TY  - BOOK
AU  - Dalen, D.Van.
TI  - Logic Colloquium`80 / 
SN  - 0-444-86465-2
U1  - R10bB 
CY  - Amsterdam : 
PB  - North-Holland Publishing Comapny.
ER  -