TY  - BOOK
AU  - Van dalen, D.
TI  - Logic colloquium / edited by D. Van dalen
N1  - B31 M2
ER  -