Type Theory and Formal Proof : An Introduction
Rob (Technische Universiteit Eindhoven, The Netherlands) Nederpelt
Out of stock
Format: Book (Hardback)
Elements of 8-Category Theory
Emily (The Johns Hopkins University, Maryland) Riehl
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Bounds for Determinants of Linear Operators and their Applications
Michael (Ben Gurion University of the Negev, Israel) Gil'
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£155.00
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket
Cantorian Set Theory and Limitation of Size
Michael Hallett
Out of stock
Format: Book (Paperback / softback)
Goguen Categories : A Categorical Approach to L-fuzzy Relations
Michael Winter
Item not Available
Format: Book (Hardback)
£109.99
£95.55
Item not Available
Book (Hardback)
Goguen Categories : A Categorical Approach to L-fuzzy Relations
Michael Winter
Download - Immediately Available
Format: eBook (PDF)
Measurement Uncertainties in Science and Technology
Michael Grabe
Download - Immediately Available
Format: eBook (PDF)
A History of Folding in Mathematics : Mathematizing the Margins
Michael Friedman
Out of stock
Format: Book (Hardback)
A History of Folding in Mathematics : Mathematizing the Margins
Michael Friedman
Out of stock
Format: Book (Paperback / softback)
Introduction to Logic and to the Methodology of Deductive Sciences
The late Alfred Tarski
Out of stock
Format: Book (Hardback)
Structural Ramsey Theory of Metric Spaces and Topological Dynamics of Isometry Groups
L. Nguyen Van The
Download - Immediately Available
Format: eBook (PDF)
A First Course in Mathematical Logic and Set Theory
Michael L. O'Leary
Download - Immediately Available
Format: eBook (EPUB)
A First Course in Mathematical Logic and Set Theory
Michael L. O'Leary
Download - Immediately Available
Format: eBook (PDF)
Nonstandard Analysis, Axiomatically
Vladimir Kanovei
Download - Immediately Available
Format: eBook (PDF)
Iterative Solution Methods
Owe (Katholieke Universiteit Nijmegen, The Netherlands) Axelsson
Out of stock
Format: Book (Paperback / softback)
£59.50
Item not Available
Book (Paperback / softback)
Categorical 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 Basket
Transform Methods in Applied Mathematics : An Introduction
Peter Lancaster
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£181.95
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket
