Logical Reasoning with Diagrams
Editorial Reviews
Review
"Such a theme is of interest not only to logic, philosophy, and linguistics but also to practical computer areas such as robotics and multimedia. The authors are famous and we can expect the book to draw the attention of several communities. I think the Allwein-Barwise book is a good publication move." --Dov Gabbay, Department of Computing, Imperial College
About the Author
Gerard Allwein is at Indiana University. Jon Barwise is at Indiana University.
Publisher: Oxford University Press; 1 edition (June 13, 1996)
Language: English
ISBN-10: 0195104277
ISBN-13: 978-0195104271