TY  - BOOK
AU  - Jonathan, Ginzburg
TI  - Logic language and Computatio
PY  - 1993///
CY  - California, C.S.L.I Pub.
ER  -