Computational Logic, Volume 9 (Handbook of the History of Logic) (Vol 9)

by: Dov M. Gabbay · Jörg H. Siekmann · John Woods Hardcover details (United States). ISBN: 978-0-444-51624-4 ISBN-10: 0-444-51624-7 North Holland · 2014