TY  - BOOK
AU  - Michel Parent
AU  - Claude Laurgeau
TI  - Logic and Programming
SN  - 1850914060
PY  - 1987///
CY  - London
PB  - KOGAN PAGE
ER  -