Basic Simple Type Theory
J. Roger (University of Wales, Swansea) Hindley
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£34.99
£30.53
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Domains and Lambda-Calculi
Roberto M. (Universite de Provence) Amadio
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£38.99
£34.39
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Multiple Forcing
T. Jech
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£30.99
£27.46
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Multiple-Conclusion Logic
D. J. Shoesmith
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£35.99
£32.08
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
The Logical Status of Diagrams
Sun-Joo (University of Notre Dame, Indiana) Shin
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£35.99
£32.08
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Semimodular Lattices : Theory and Applications
Manfred Stern
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£32.99
£29.50
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Independence-Friendly Logic : A Game-Theoretic Approach
Allen L. (University of Tampere, Finland) Mann
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£26.99
£24.40
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry: Volume 1
Raf (Universite de Lille) Cluckers
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£29.99
£27.20
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
The Foundations of Mathematics in the Theory of Sets
John P. Mayberry
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£36.99
£32.85
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Stable Domination and Independence in Algebraically Closed Valued Fields
Deirdre (McMaster University, Ontario) Haskell
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£34.99
£31.32
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Model Theory and Modules
M. (Professor) Prest
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£32.99
£29.78
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Logic and Computation : Interactive Proof with Cambridge LCF
Lawrence C. (University of Cambridge) Paulson
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£29.99
£27.48
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Boolean Function Complexity
M. S. (University of Warwick) Paterson
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£31.99
£29.02
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Advances in Linear Logic
Jean-Yves (Centre National de la Recherche Scientifique (CNRS) Girard
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£32.99
£29.78
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Stable Groups
F. (University of Oxford) Wagner
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£29.99
£27.48
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Linear Logic in Computer Science
Thomas (Institut de Mathematiques de Luminy, Marseille) Ehrhard
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£32.99
£29.78
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Sets and Proofs
S. Barry (University of Leeds) Cooper
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£36.99
£32.85
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Models and Computability
S. Barry (University of Leeds) Cooper
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£36.99
£32.85
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Analysis and Logic
C. Ward (University of Illinois, Urbana-Champaign) Henson
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£27.99
£25.16
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Zariski Geometries : Geometry from the Logician's Point of View
Boris (University of Oxford) Zilber
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£26.99
£25.18
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Three Views of Logic : Mathematics, Philosophy, and Computer Science
Donald W. Loveland
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£48.00
£34.87
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Taming the Unknown : A History of Algebra from Antiquity to the Early Twentieth Century
Victor J. Katz
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£35.00
£26.38
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Two Applications of Logic to Mathematics
Gaisi Takeuti
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£30.00
£22.47
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Predicative Arithmetic. (MN-32)
Edward Nelson
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£35.00
£26.38
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket