TY  - BOOK
AU  - RICHARDSON DANIEL
TI  - LOGIC LANGUAGE FORMALISM INFORMALISM
SN  - 1850321272
U1  - 004 (MCA) 
PB  - INTERNATIONAL THOMSON COMPUTER PRESS
KW  - COMPUTER SCIENCE
KW  - COMPUTER LANGUAGE
ER  -