Skip to main content alibris logo

Automated Theorem-Proving in Non-Classical Logics

by , ,

Write The First Customer Review
Image not available
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency
loading
Automated Theorem-Proving in Non-Classical Logics 1988, Pitman Publishing

ISBN-13: 9780273087816

Trade paperback