Your search returned 2 results.

Results
		Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics / Lincoln A. Wallen. by Wallen, Lincoln A. Series: MIT Press series in artificial intelligenceMaterial type: Text Publication details: Cambridge, Mass. : MIT Press, c1990Availability: Items available for loan: Main Campus (1) Call number: QA9.54 .W35 1990. Place hold Add to cart (remove)
		The book of Michael of Rhodes : a fifteenth-century maritime manuscript / edited by Pamela O. Long, David McGee, and Alan M. Stahl. by Michael, of Rhodes \| Long, Pamela O \| McGee, David \| Stahl, Alan M \| Rossi, Franco. Material type: Text Publication details: Cambridge, Mass. : MIT Press, c2009Online access: Click here to access online \| Click here to access online Availability: Items available for loan: School of Business (1) Call number: V46 .M56 2009. Place hold Add to cart (remove)

KARATINA UNIVERSITY LIBRARY