TY  - BOOK
AU  - Lalement Rene
AU  - Plaice John
TI  - Computation as Logic
SN  - 0-13-770009-1
U1  - 005.1 
PY  - 1993///
CY  - Masson
PB  - Prentice-Hall
KW  - Functional programming(Computer science)
KW  - Logic programming
KW  - Mathematical logic
KW  - Symbolic logic
ER  -