TY  - BOOK
AU  - McArthur Robert P
TI  - Form logic to computing
SN  - 0-534-13320-7
U1  - 511.3 
PY  - 1991///
CY  - California
PB  - Wadsworth Pub
KW  - Computer science
KW  - Mathematical logic
ER  -