TY  - BOOK
AU  - Odifreddi, Piergiorgio [ed.]
TI  - Logic and computer science
SN  - 0125242204
U1  - 001.642 
PY  - 1990///
CY  - London
PB  - Academic Press
KW  - Electronic digital computers -- Programming
KW  - Logic programing
ER  -