Skip to content
Rider Library Catalog
You are not logged in
|
Login
Your session will expire automatically in
0
seconds.
Continue session
End session now
Return To Browse
Limit/Sort
SearchType
Keyword
Author
Title
Journal Title
Series Title
Subject
Genre
Call no.
ISBN / ISSN
Table of Contents
Publisher
Prof/TA
Course
Search
Search Scope
View Entire Collection
Moore Library
Talbott Library
Limit search to available items
Save Marked Records
Save to List
ISBNs / ISSNs (1-2 of 2)
0049237x
1
Bestseller
Lectures on the Curry-Howard isomorphism
Sørensen, Morten Heine.
Amsterdam ; Boston [MA] : Elsevier, 2006.
1st ed.
Rating:
Electronic Resources
More...
Item Status
2
Bestseller
Residuated lattices : an algebraic glimpse at substructural logics
Amsterdam ; Boston : Elsevier, 2007.
1st ed.
Rating:
Electronic Resources
More...
Item Status
Save Marked Records
Locate in Results
Resources
More Information
Return To Browse
Limit/Sort