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
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