Computational logic / [electronic resource]
volume editor, Dov M. Gabbay, J�org H. Siekmann, John Woods.
- 1 online resource.
- Handbook of the history of logic ; 9 .
9780080930671 0080930670 1322477175 9781322477176
Computer logic.
COMPUTERS--General.
Computer logic.
Electronic books.
QA76.9.L63
006.3
9780080930671 0080930670 1322477175 9781322477176
Computer logic.
COMPUTERS--General.
Computer logic.
Electronic books.
QA76.9.L63
006.3