TY  - BOOK
AU  - Moschovakis Y N
TI  - Logic from computer science
U1  - 511.3 
PY  - 1992///
CY  - N Y
PB  - Springer Verlag
KW  - Computer science
ER  -