TY  - BOOK
AU  - Boffa, Maurice., Ed.
TI  - Logic colloquium-78
N1  - D6,8(B) L93
ER  -