Lambda Calculus with Types
Henk (Radboud Universiteit Nijmegen) Barendregt
Out of stock
Format: Book (Hardback)
Subsystems of Second Order Arithmetic
Stephen G. (Pennsylvania State University) Simpson
Out of stock
Format: Book (Paperback / softback)
Proofs and Computations
Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg
Out of stock
Format: Book (Hardback)
Subsystems of Second Order Arithmetic
Stephen G. (Pennsylvania State University) Simpson
Out of stock
Format: Book (Hardback)
Fundamentals of Stability Theory
John T. (University of Illinois, Chicago) Baldwin
Out of stock
Format: Book (Hardback)
Degrees of Unsolvability : Local and Global Theory
Manuel (University of Connecticut) Lerman
Out of stock
Format: Book (Hardback)
General Recursion Theory : An Axiomatic Approach
Jens E. (Universitetet i Oslo) Fenstad
Out of stock
Format: Book (Hardback)
Recursion-Theoretic Hierarchies
Peter G. (University of Michigan, Ann Arbor) Hinman
Out of stock
Format: Book (Hardback)
Model-Theoretic Logics
J. (Stanford University, California) Barwise
Out of stock
Format: Book (Hardback)
Admissible Sets and Structures
Jon (University of Wisconsin, Madison) Barwise
Out of stock
Format: Book (Hardback)
Proper and Improper Forcing
Saharon (Hebrew University of Jerusalem) Shelah
Out of stock
Format: Book (Hardback)
Essential Stability Theory
Steven (University of Notre Dame, Indiana) Buechler
Out of stock
Format: Book (Hardback)
Metamathematics of First-Order Arithmetic
Petr (Academy of Sciences of the Czech Republic, Prague) Hajek
Out of stock
Format: Book (Hardback)
Higher Recursion Theory
Gerald E. (Harvard University, Massachusetts) Sacks
Out of stock
Format: Book (Hardback)
Computability in Analysis and Physics
Marian B. (University of Minnesota) Pour-El
Out of stock
Format: Book (Hardback)
Computable Structure Theory : Within the Arithmetic
Antonio (University of California, Berkeley) Montalban
Out of stock
Format: Book (Hardback)