Classical Recursion Theory, Volume II : Volume 143
P. (University of Turin, Italy) Odifreddi
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£132.00
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketProvability, Computability and Reflection
Lev D. Beklemishev
Download - Immediately Available
Format: eBook (PDF)
Computable Structures and the Hyperarithmetical Hierarchy : Volume 144
C.J. Ash
Out of stock
Format: Book (Hardback)
Rudiments of Calculus : Volume 146
A. (c/o LaBRI Universite Bordeaux I 351, cours de la Liberatio Arnold
Out of stock
Format: Book (Hardback)
Realizability : An Introduction to its Categorical Side Volume 152
Jaap (Utrecht University, The Netherlands) van Oosten
Out of stock
Format: Book (Hardback)