TY  - BOOK
AU  - Logic from computer
AU  - 
TI  - Logic from computer science: Proceedings of a workshop held Nov. 13-17, 1989
SN  - ISBN:
U1  - 510.6:681.31 
PY  - 1992///
CY  - New York
PB  - Springer-Verlag
KW  - Logic, symbolic and mathematical
KW  - Computer science
KW  - Moschovakis, Y N
ER  -