TY  - BOOK
AU  - Boffa, Maurice.
AU  - Van dalen, Dirk.
AU  - Mcaloon, Kenneth.
AU  - Logic Colloquium'78
TI  - Proceedings of the logic colloquium'78
T2  - Studies in Logic and the Foundations of Mathematics
SN  - 0444853782
U1  - 511.306 
PY  - 1979///
CY  - Amsterdam
PB  - North-Holland
ER  -