Type Theory and Formal Proof : An Introduction
Rob (Technische Universiteit Eindhoven, The Netherlands) Nederpelt
In Stock - usually despatched within 24 hours
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)
Advances in Logic Programming Theory
Giorgio (Professor, Department of Informatics, Professor, Depart Levi
Out of stock
Format: Book (Hardback)
Optimal Regularity and the Free Boundary in the Parabolic Signorini Problem
Donatella Danielli
Out of Stock - We are unable to provide an estimated availability date for this product
Format: Book (Paperback / softback)
£66.00
Out of Stock - We are unable to provide an estimated availability date for this product
Book (Paperback / softback)
Add to BasketSpace-time : An Introduction to Einstein's Theory of Gravity
Jonathan (The Royal Hospital School, Ipswich,UK) Allday
Out of stock
Format: Book (Hardback)
Automorphisms of First-order Structures
Richard (School of Mathematics and Statistics, School of Mathema Kaye
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)
Introduction to Logic and to the Methodology of Deductive Sciences
The late Alfred Tarski
Out of stock
Format: Book (Hardback)
Proof and Disproof in Formal Logic
Richard (School of Computing Science, Middlesex University) Bornat
Out of stock
Format: Book (Hardback)
Proof and Disproof in Formal Logic : An Introduction for programmers
Richard (School of Computing Science, Middlesex University) Bornat
Out of stock
Format: Book (Paperback / softback)
Iterative Solution Methods
Owe (Katholieke Universiteit Nijmegen, The Netherlands) Axelsson
Out of stock
Format: Book (Paperback / softback)
How Noble in Reason
Alyn R. (Colorado School of Mines, Golden, USA) Rockwood
Download - Immediately Available
Format: eBook (PDF)
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 BasketThe Traveling Salesman Problem : A Guided Tour of Combinatorial Optimization
E. L. (University of California, Berkeley) Lawler
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£396.95
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketTheorems, Corollaries, Lemmas, and Methods of Proof
Richard J. (Montana Tech, The University of Montana) Rossi
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£129.95
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketBounds 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 BasketAlgebraic Methods in Philosophical Logic
J. Michael (Ewing Professor of Philosophy, Professor of Computer Dunn
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)
Bounded Arithmetic, Propositional Logic and Complexity Theory
Jan (Academy of Sciences of the Czech Republic, Prague) Krajicek
Out of stock
Format: Book (Hardback)
Course In Discrete Mathematical Structures, A
Lekh Rej (Kurukshetra Univ, India) Vermani
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£118.00
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketCourse In Discrete Mathematical Structures, A
Lekh Rej (Kurukshetra Univ, India) Vermani
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£57.00
£54.25
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketSketches of an Elephant: A Topos Theory Compendium : 2 Volume Set
Peter T. (, Reader in the Foundations of Mathematics, Unive Johnstone
Out of stock
Format: Book (Multiple-component retail product)
Computability and Randomness
Andre (, Senior Lecturer, Department of Computer Science, The Un Nies
Out of stock
Format: Book (Hardback)