Handbook of the history of logic / 9 Computational logic / volume editor, Dov M. Gabbay, Jörg H. Siekmann, John Woods - Gabbay, Dov M.; Siekmann, Jörg; Woods, John (Handbook of the history of logic, 2014)
Print version record
Keywords: Electronic books; Electronic books -- Electronic books