Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics \ Automated Deduction: In Nonclassical Logics.  
   

 
Author Wallen, Lincoln
Place of Publication Cambridge, Massachusetts , London
Publication Name MIT
Year 1990
Language(s) English
Description
235x180 mm. 239 pages. Hardcover with nylon jacket. in good condition.
Please note
  • This book may take up to two business days to be retrieved from storage.
Price $55.00
(Price does not include shipping costs!)
Catalog Index Number AR 542 003

Image Gallery
(Click an image to enlarge)
Front Cover


View more books, in related categories:
Logic
Mathematics

 
Homepage     About us     Advanced Search     Contact Us     Help!

6 Shatz St. (26 King George st. corner) Jerusalem
Near the Artists' House and Betzal'el Academy

E-mail: info@bookgallery.co.il

TEL: +972-2-6231087 (02-6231087)

FAX: +972-2-6255513 (02-6255513)