Skip to content
You are not logged in |Login  
     
Limit search to available items
Series Titles (1-10 of 10)
Oxford Logic Guides
1
Bestseller
BestsellerE-book
 

Category theory


Awodey, Steve, 1959-
Oxford ; New York : Oxford University Press, 2010.
2nd ed.

Rating:

Item Status

2
book
BookPrinted Material
 

Elements of intuitionism


Dummett, Michael, 1925-2011.
Oxford : Clarendon Press, 1977.

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  QA9.47 .D84    Available  ---
3
book
BookPrinted Material
 

Formal number theory and computability : a workbook


Fisher, Alec.
Oxford [Oxfordshire] : Clarendon Press, 1982.

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  QA241 .F57 1982    Available  ---
4
Bestseller
BestsellerE-book
 

Foundations without foundationalism : a case for second-order logic


Shapiro, Stewart, 1951-
Oxford : Clarendon Press, [1991]

Rating:

Item Status

5
Bestseller
BestsellerE-book
 

Gödel's incompleteness theorems


Smullyan, Raymond M.
New York : Oxford University Press, 1992.

Rating:

Item Status

6
Bestseller
BestsellerE-book
 

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:

Item Status

7
book
BookPrinted Material
 

Many-valued logics


Malinowski, Grzegorz.
Oxford [England] : Clarendon Press ; New York : Oxford University Press, 1993.

Rating:

 

Item Status

Location Call No. Status OPAC Message Public Note Gift Note
 Moore Stacks  QA9.45 .M35 1993    Available  ---
8
Bestseller
BestsellerE-book
 

Recursion theory for metamathematics


Smullyan, Raymond M.
New York : Oxford University Press, 1993.

Rating:

Item Status

9
Bestseller
BestsellerE-book
 

Simplicity theory


Kim, Byungham.
Oxford : Oxford University Press, 2014.
First edition.

Rating:

Item Status

10
Bestseller
BestsellerE-book
 

Item Status

Resources
More Information