Logic for Artificial Intelligence and Information Technology (Texts in Computer Science)

by D. M. Gabbay Paperback details (UK). ISBN: 978-1-904987-39-0 ISBN-10: 1-904987-39-7 College Publications · 2007