Your search returned 2 results.

Results
	1.	Lectures on the Curry-Howard Isomorphism by Morten Heine Sørensen-Pawel Urzyczyn. Series: Studies in Logic and the Foundations of MathematicsEdition: 1st edMaterial type: Text Language: English Publication details: Elsevier Science 2006Online access: Click here to access online Availability: Items available for reference: VJEC Central Library: Not for loan (1). Add to cart (remove)
	2.	Residuated Lattices: An Algebraic Glimpse at Substructural Logics by Nikolaos Galatos-Peter Jipsen-Tomasz Kowalski-Hiroakira Ono. Series: Studies in Logic and the Foundations of MathematicsEdition: 1st edMaterial type: Text Language: English Publication details: Elsevier Science 2007Online access: Click here to access online Availability: Items available for reference: VJEC Central Library: Not for loan (1). Add to cart (remove)

Refine your search