TY  - BOOK
AU  - Jones N D
AU  - Hagiya Masami
TI  - Logic,language and computation
SN  - 0-387-57935-4
U1  - 005.131 
PY  - 1994///
CY  - Berlin
PB  - Springer Verlag
KW  - Computational logic
KW  - Computer science
ER  -