An Introduction to Non-Classical Logic : From If to Is
Graham (University of Melbourne) Priest
Out of stock
Format: Book (Paperback / softback)
Metamathematics of First-Order Arithmetic
Petr (Academy of Sciences of the Czech Republic, Prague) Hajek
Out of stock
Format: Book (Hardback)
Das Affenpuzzle Und Weitere Bad News Aus Der Computerwelt : Und Weitere Bad News Aus Der Computerwelt
David (The Weizmann Institute of Science) Harel
Item not Available
Format: Book (Hardback)
£24.99
£21.75
Item not Available
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)
Lambda-Calculus and Combinators : An Introduction
J. Roger (University of Wales, Swansea) Hindley
Out of stock
Format: Book (Hardback)
Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles
Denis R (The Univ Of Chicago, Usa) Hirschfeldt
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£38.00
£32.99
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketRelative Category Theory and Geometric Morphisms : A Logical Approach
Jonathan Chapman
Out of stock
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 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)
Modern Logic : A Text in Elementary Symbolic Logic
Graeme (Professor of Philosophy, Professor of Philosophy, Tula Forbes
Out of stock
Format: Book (Paperback / softback)
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 BasketComputability and Randomness
Andre (, Senior Lecturer, Department of Computer Science, The Un Nies
Out of stock
Format: Book (Hardback)
Computability and Randomness
Andre (, Senior Lecturer, Department of Computer Science, The Un Nies
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 BasketCryptography : Theory and Practice
Douglas Robert (University of Waterloo, Ontario, Canada) Stinson
Out of stock
Format: Book (Hardback)
Square Roots of Numbers : Prime Elimination Game
Epsilon The Heir
Download - Immediately Available
Format: eBook (EPUB)
Square Roots of Numbers : Prime Elimination Game
Epsilon the Heir
Out of stock
Format: Book (Paperback / softback)
Square Roots of Numbers : Prime Elimination Game
Epsilon the Heir
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Set Theory and its Philosophy : A Critical Introduction
Michael (, Department of Philosophy, University of Cambridge) Potter
Out of stock
Format: Book (Paperback / softback)
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 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 BasketSketches 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)
An Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs
Paolo (Willis S. and Marion Slusser Professor of Philosophy, Mancosu
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£27.49
£25.99
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to Basket