Set Theory An Introduction To Independence Proofs : Volume 102
K. Kunen
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Lectures on the Curry-Howard Isomorphism : Volume 149
Morten Heine, M.Sc, Ph.D (University of Copenhagen, Denmark) Sorensen
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£125.00
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketCategorical Logic and Type Theory : Volume 141
B. (Computing Science Institute, University of Nijmegen, The N Jacobs
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£99.00
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketClassical 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 BasketResiduated Lattices: An Algebraic Glimpse at Substructural Logics : Volume 151
Nikolaos (School of Information Science, Japan Advanced Insti Galatos
Out of stock
Format: Book (Hardback)
Constructivism in Mathematics, Vol 2 : Volume 123
A.S. Troelstra
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£49.99
£45.75
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketClassical Recursion Theory : The Theory of Functions and Sets of Natural Numbers Volume 125
P. (University of Turin, Italy) Odifreddi
Out of stock
Format: Book (Paperback / softback)
Tools and Techniques in Modal Logic : Volume 142
M. (Freie Universitat Berlin, II. Mathematisches Institut, Ber Kracht
Out of stock
Format: Book (Hardback)
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)
Many-Dimensional Modal Logics: Theory and Applications : Volume 148
A. (King's College, London, UK) Kurucz
Out of stock
Format: Book (Hardback)
Relation Algebras by Games : Volume 147
R. (University College, London, UK) Hirsch
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)
Quantification in Nonclassical Logic : Volume 153
Dov M. (Augustus De Morgan Professor Emeritus of Logic at the Gabbay
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£173.00
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketRelation Algebras : Volume 150
Roger Duncan (Department of Mathematics, Iowa State University Maddux
Out of stock
Format: Book (Hardback)
Constructivism in Mathematics, Vol 1 : Volume 121
A.S. Troelstra
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£140.00
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketConstructivism in Mathematics : An Introduction Volume 121
A.S. Troelstra
Out of stock
Format: Book (Paperback / softback)
Logical Frameworks for Truth and Abstraction : An Axiomatic Study Volume 135
A. (University of Florence, Department of Philosophy, Italy) Cantini
Out of stock
Format: Book (Hardback)
Language in Action : Categories, Lambdas and Dynamic Logic Volume 130
J. (University of Amsterdam, Institute for Logic, Languag van Benthem
Out of stock
Format: Book (Hardback)
Admissibility of Logical Inference Rules : Volume 136
V.V. (Krasnoyarsk University, Mathematics Department, Krasnoy Rybakov
Out of stock
Format: Book (Hardback)
Handbook of Proof Theory : Volume 137
S.R. (Dept. of Mathematics and Computer Science, University of C Buss
Out of stock
Format: Book (Hardback)
Handbook of Computability Theory : Volume 140
E.R. (Communication Advisors, Inc., Southfield, MI, USA) Griffor
Out of stock
Format: Book (Hardback)
Provability, Computability and Reflection
Lev D. Beklemishev
Download - Immediately Available
Format: eBook (PDF)