TY  - BOOK
AU  - Berkeley, Edmund Callis
TI  - SYMBOLIC LOGIC AND INTELLIGENT MACHINES
U1  - 510.78 
PY  - 1959///
CY  - N. Y.
PB  - Reinhold Pub. Corp.
KW  - Electronic Calculating-Machines
KW  - Electronic Data Processing
KW  - Logic, Symbolic And Mathematical
ER  -