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
Curriculum Resource Center
Moore Library
Office of Information Technologies
Talbott Library
Limit search to available items
Save Marked Records
Save to List
Series Titles (1-10 of 10)
Oxford Logic Guides
1
Bestseller
Category theory
Awodey, Steve, 1959-
Oxford ; New York : Oxford University Press, 2010.
2nd ed.
Rating:
Electronic Resources
More...
Item Status
2
Book
Elements of intuitionism
Dummett, Michael, 1925-2011.
Oxford : Clarendon Press, 1977.
Rating:
Request
Item Status
Location
Call No.
Status
OPAC Message
Public Note
Gift Note
Moore Stacks
QA9.47 .D84
Available
---
3
Book
Formal number theory and computability : a workbook
Fisher, Alec.
Oxford [Oxfordshire] : Clarendon Press, 1982.
Rating:
Request
Item Status
Location
Call No.
Status
OPAC Message
Public Note
Gift Note
Moore Stacks
QA241 .F57 1982
Available
---
4
Bestseller
Foundations without foundationalism : a case for second-order logic
Shapiro, Stewart, 1951-
Oxford : Clarendon Press, [1991]
Rating:
Electronic Resources
More...
Item Status
5
Bestseller
Gödel's incompleteness theorems
Smullyan, Raymond M.
New York : Oxford University Press, 1992.
Rating:
Electronic Resources
More...
Item Status
6
Bestseller
Introduction to logic and to the methodology of the deductive sciences
Tarski, Alfred, 1901-1983.
New York : Oxford University Press, 1994.
4th ed. / edited by Jan Tarski.
Rating:
Electronic Resources
More...
Item Status
7
Book
Many-valued logics
Malinowski, Grzegorz.
Oxford [England] : Clarendon Press ; New York : Oxford University Press, 1993.
Rating:
Request
Item Status
Location
Call No.
Status
OPAC Message
Public Note
Gift Note
Moore Stacks
QA9.45 .M35 1993
Available
---
8
Bestseller
Recursion theory for metamathematics
Smullyan, Raymond M.
New York : Oxford University Press, 1993.
Rating:
Electronic Resources
More...
Item Status
9
Bestseller
Simplicity theory
Kim, Byungham.
Oxford : Oxford University Press, 2014.
First edition.
Rating:
Electronic Resources
More...
Item Status
10
Bestseller
Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 19
Oxford : Clarendon Press ; New York : Oxford University Press, 1998.
Rating:
Electronic Resources
More...
Item Status
Save Marked Records
Locate in Results
Resources
More Information
Return To Browse
Limit/Sort