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)
Automorphisms of First-order Structures
Richard (School of Mathematics and Statistics, School of Mathema Kaye
Out of stock
Format: Book (Hardback)
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)
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
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
Algebraic Methods in Philosophical Logic
J. Michael (Ewing Professor of Philosophy, Professor of Computer Dunn
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)
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)
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 (Paperback / softback)
Computability and Randomness
Andre (, Senior Lecturer, Department of Computer Science, The Un Nies
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
Out of stock
Format: Book (Hardback)
Handbook of Fourier Analysis & Its Applications
Robert J (, Distinguished Professor of Engineering in the De Marks II
Out of stock
Format: Book (Hardback)
Crossing the River with Dogs : Problem Solving for College Students
Ken (Sierra College) Johnson
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£122.95
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Logic of Mathematics : A Modern Course of Classical Logic
Zofia (Institute of Mathematics of the Polish Academy of Sc Adamowicz
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£163.95
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket
Innovative Teaching: Best Practices From Business And Beyond For Mathematics Teachers
Denise H (The City Univ Of New York, Usa) Sutton
Out of stock
Format: Book (Hardback)
Fuzzy Logic and Mathematics : A Historical Perspective
Radim (Professor of Computer Science, Professor of Compute Belohlavek
Out of stock
Format: Book (Hardback)
Analysis and Synthesis of Singular Systems
Zhiguang (Professor, College of Automation, Harbin Engineering U Feng
Out of stock
Format: Book (Paperback / softback)
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 Basket
