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

Admissible sets and structures : an approach to definability theory


Barwise, Jon, author.
Cambridge ; New York, NY : Cambridge University Press, [2016]

Rating:

Item Status

2
Bestseller
BestsellerE-book
 

Computability in analysis and physics


Pour-El, Marian B. (Marian Boykan), 1928- author.
Cambridge ; New York : Cambridge University Press, [2016]

Rating:

Item Status

3
Bestseller
BestsellerE-book
 

Essential stability theory


Buechler, Steven, 1955- author.
Cambridge, United Kingdom : Cambridge University Press, [2016]

Rating:

Item Status

4
Bestseller
BestsellerE-book
 

Fundamentals of stability theory


Baldwin, John T., author.
Cambridge : Cambridge University Press, 2016.

Rating:

Item Status

5
Bestseller
BestsellerE-book
 

Higher recursion theory


Sacks, Gerald E., author.
Cambridge ; New York : Cambridge University Press, [2016]

Rating:

Item Status

6
Bestseller
BestsellerE-book
 

Lambda Calculus with Types


Barendregt, Henk.
Cambridge : Cambridge University Press, 2013.

Rating:

Item Status

7
Bestseller
BestsellerE-book
 

Logical foundations of proof complexity


Cook, Stephen, 1948-
Cambridge ; New York : Cambridge University Press ; Ithaca, NY : Association for Symbolic Logic, [2010]

Rating:

Item Status

8
Bestseller
BestsellerE-book
 

Proofs and Computations.


Schwichtenberg, Helmut.
Cambridge : Cambridge University Press, 2011.

Rating:

Item Status

9
Bestseller
BestsellerE-book
 

Proper and improper forcing


Shelah, Saharon, author.
Cambridge : Cambridge University Press, [2016]
Second edition.

Rating:

Item Status

10
Bestseller
BestsellerE-book
 

Pure inductive logic


Paris, J. B. (Jeff B.), author.
Cambridge : Cambridge University Press, 2015.

Rating:

Item Status

Resources
More Information