TY  - BOOK
AU  - Moschovakis, Y N. Ed.
TI  - Logic from Computer Science: Proceedings, Workshop, Nov. 1989
SN  - 0 387 97667 1
CY  - New York
KW  - Logic, Symbolic and Mathematical - Congresses
KW  - Computer Science - Congresses
ER  -