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)
Categories for Types
Roy L. (Imperial College of Science, Technology and Medicine, L Crole
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)
Categories for Types
Roy L. (Imperial College of Science, Technology and Medicine, L Crole
Out of stock
Format: Book (Hardback)
Introduction to Public Key Cryptography
Hu (University of Electronic Science and Technology of China) Xiong
Coming Soon
Format: Book (Hardback)
£69.99
Coming Soon
Book (Hardback)
Computability and Randomness
Andre (, Senior Lecturer, Department of Computer Science, The Un Nies
Out of stock
Format: Book (Hardback)
Graphs : An Introductory Approach--A First Course in Discrete Mathematics
Robin J. (The Open University, UK) Wilson
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£174.95
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket
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)
A Graphic Apology for Symmetry and Implicitness
Alessandra (Department of Mathematics and Computer Science, D Carbone
Out of stock
Format: Book (Hardback)
The Copenhagen Conspiracy
David (School of Electrical, Computer, and Energy Engineering, Ferry
Download - Immediately Available
Format: eBook (EPUB)
The Copenhagen Conspiracy
David (School of Electrical, Computer, and Energy Engineering, Ferry
Download - Immediately Available
Format: eBook (PDF)
Data Engineering : Fuzzy Mathematics in Systems Theory and Data Analysis
Olaf (University of Manchester Institute of Science and T Wolkenhauer
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£145.95
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket
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)
Philosophy and Model Theory
Tim (Senior Lecturer and Fellow, Senior Lecturer and Fellow, S Button
Out of stock
Format: Book (Hardback)
Set Theory with a Universal Set : Exploring an Untyped Universe
T. E. (Department of Pure Mathematics and Mathematical Statis Forster
Out of stock
Format: Book (Hardback)
In Defence of Objective Bayesianism
Jon (Professor of Reasoning, Inference and Scientific Meth Williamson
Out of stock
Format: Book (Hardback)
Architecture of Mathematics
Simon (Al-Farabi Kazakh National University, Department of Serovajsky
Out of stock
Format: Book (Hardback)
Language in Action : Categories, Lambdas and Dynamic Logic Volume 130
J. (University of Amsterdam, Institute for Logic, Languag van Benthem
Out of stock
Format: Book (Hardback)
Lectures on Inductive Logic
Jon (Professor of Reasoning, Inference and Scientific Meth Williamson
Out of stock
Format: Book (Hardback)
