Taking the “Oof!” Out of Proofs
Alexandr Draganov
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£44.99
£38.55
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to Basket
Conceptual Mathematics : A First Introduction to Categories
F. William (State University of New York, Buffalo) Lawvere
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£44.99
£39.34
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to Basket
Category Theory
Steve (Carnegie Mellon University, USA) Awodey
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£57.00
£48.27
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to Basket
Sheaves in Geometry and Logic : A First Introduction to Topos Theory
Saunders MacLane
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£64.99
£47.01
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to Basket
An Invitation to Applied Category Theory : Seven Sketches in Compositionality
Brendan (Massachusetts Institute of Technology) Fong
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£41.99
£37.04
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to Basket
Propositional and Predicate Calculus: A Model of Argument
Derek Goldrei
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£54.99
£40.24
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to Basket
Logic and Structure
Dirk van Dalen
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£59.99
£42.98
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to Basket
Basic Proof Theory
A. S. (Universiteit van Amsterdam) Troelstra
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£42.99
£37.81
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to Basket
Cryptography : Theory and Practice
Douglas Robert Stinson
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£43.99
£38.57
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to Basket
(Co)end Calculus
Fosco Loregian
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£55.00
£46.74
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to Basket
Advanced Smart Computing Technologies in Cybersecurity and Forensics
Keshav (UPES, Dehradun, India) Kaushik
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£45.99
£40.12
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Multilevel Modeling of Secure Systems in QoP-ML
Bogdan (Maria Curie-Sklodowska University, Lublin Voivod Ksiezopolski
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£45.99
£40.12
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Essential Enterprise Blockchain Concepts and Applications
Kavita (Galgotias University, India) Saini
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£44.99
£39.34
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Modern Cryptography with Proof Techniques and Implementations
Seong Oun Hwang
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£44.99
£39.34
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to Basket
Computability
George Tourlakis
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£54.99
£40.53
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to Basket
The Oxford Handbook of Philosophy of Mathematics and Logic
Stewart (Professor of Philosophy, Professor of Philosophy, Oh Shapiro
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£47.31
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Mathematical Logic for Computer Science
Mordechai Ben-Ari
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£54.99
£40.24
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Mathematical Logic
Joseph R. Shoenfield
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£45.99
£39.83
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Logical Dilemmas : The Life and Work of Kurt Godel
John Dawson
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£43.99
£38.57
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Foundations without Foundationalism : A Case for Second-Order Logic
Stewart (Professor of Philosophy, Professor of Philosophy, Oh Shapiro
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£49.49
£47.85
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Intermediate Logic
David (Fellow and Tutor in Philosophy, Fellow and Tutor in Ph Bostock
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£49.99
£48.79
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
From Trotsky to Godel : The Life of Jean van Heijenoort
Anita Burdman Feferman
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£52.99
£45.48
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Recursion Theory : Lecture Notes in Logic 1
Joseph R. Shoenfield
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£47.99
£40.60
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Set Theory : Boolean-Valued Models and Independence Proofs
John L. (Professor of Philosophy, University of Western Ontario) Bell
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£47.49
£40.47
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket