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)
Revisiting Fibonacci Numbers through a Computational Experiment
Sergei Abramovich
Download - Immediately Available
Format: eBook (PDF)
Trilogy Of Numbers And Arithmetic - Book 1: History Of Numbers And Arithmetic: An Information Perspective
Mark (Univ Of California, Los Angeles, Usa) Burgin
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Nonlinear Dynamics Perspective Of Wolfram's New Kind Of Science, A (Volume V)
Leon O (Univ Of California, Berkeley, Usa) Chua
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 Basket
Quantitative Logic And Soft Computing - Proceedings Of The Ql&sc 2012
Li Yongming Li
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)
Structural Ramsey Theory of Metric Spaces and Topological Dynamics of Isometry Groups
L. Nguyen Van The
Download - Immediately Available
Format: eBook (PDF)
Iterative Solution Methods
Owe (Katholieke Universiteit Nijmegen, The Netherlands) Axelsson
Out of stock
Format: Book (Paperback / softback)
Sketches 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)
Space-time : An Introduction to Einstein's Theory of Gravity
Jonathan (The Royal Hospital School, Ipswich,UK) Allday
Out of stock
Format: Book (Hardback)
Sketches of an Elephant: A Topos Theory Compendium : Volume 2
Peter T. (, Reader in the Foundations of Mathematics, Unive Johnstone
Out of stock
Format: Book (Hardback)
Sketches of an Elephant: A Topos Theory Compendium : Volume 1
Peter T. (, Reader in the Foundations of Mathematics, Unive Johnstone
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
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
Handbook of Fourier Analysis & Its Applications
Robert J (, Distinguished Professor of Engineering in the De Marks II
Out of stock
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
Theorems, 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 Basket
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
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)
Matrix Logic and Mind : A Probe into a Unified Theory of Mind and Matter
A. (Van Nijenrodeweg 912, 1081 BK Amsterdam, The Netherlands) Stern
Out of stock
Format: Book (Hardback)
Type Theory and Formal Proof : An Introduction
Rob (Technische Universiteit Eindhoven, The Netherlands) Nederpelt
Download - Immediately Available
Format: eBook (PDF)
Computability and Randomness
Andre (, Senior Lecturer, Department of Computer Science, The Un Nies
Out of stock
Format: Book (Hardback)
