Computational logic / [electronic resource] volume editor, Dov M. Gabbay, J�org H. Siekmann, John Woods. Computer logic. QA76.9.L63 006.3 23 Print version record. 2014 Text 1 online resource. http://www.sciencedirect.com/science/book/9780444516244 http://www.sciencedirect.com/science/handbooks/18745857/9 eng Handbook of the history of logic ; 9 Computational logic. Gabbay, Dov M. Gabbay, J�org H. Siekmann, John Woods Computational logic. Gabbay, Dov M. Gabbay, J�org H. Siekmann, John Woods