Handbook of the history of logic. Volume 9, Computational logic /

Group Author: Gabbay, Don M., 1945; Siekmann, Jorg H; Woods, John John Hayden
Published: North Holland,
Publication Dates: 2014.
Call Number: B81-09/H236/v.9