TY  - BOOK
TI  - Computational logic / 
T2  - Handbook of the history of logic
SN  - 9780080930
AV  - QA76.9.L63 
U1  - 006.3 23
PY  - 2014///
CY  - Kidlington
PB  - Elsevier
KW  - Computer logic
KW  - COMPUTERS
KW  - General
KW  - bisacsh
KW  - fast
KW  - Electronic books
UR  - http://www.sciencedirect.com/science/book/9780444516244
UR  - http://www.sciencedirect.com/science/handbooks/18745857/9
ER  -