TY  - BOOK
AU  - Wegner Peter
TI  - Introduction to symbolic programming
U1  - 005.131 
PY  - 1963///
CY  - London
PB  - Charles Griffin
KW  - Computer science
KW  - Symbolic logic
ER  -