TY  - BOOK
AU  - Odifreddi Piergiorgio
TI  - Logic and computer science
SN  - 0-12-524220-4
U1  - 005.131 
PY  - 1990///
CY  - London
PB  - Academic Press
KW  - Computer science
KW  - Programming languages
ER  -