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 BasketKnowledge and the Flow of Information
Fred I. Dretske
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback)
£22.50
£21.85
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback)
Add to BasketModel Based Reasoning in Science and Engineering
Lorenzo Magnani
Out of stock
Format: Book (Paperback / softback)
Synthetic Arithmetic ... : Being A Complete Arithmetic Adapted To Any Class Or Grade
Merritt S Cook
Out of stock
Format: Book (Hardback)
An Algebraic Arithmetic; Being an Exposition of the Theory and Practice of Advanced Arithmetic, Base
S E Coleman
Out of stock
Format: Book (Hardback)
Errors, Blunders, and Lies : How to Tell the Difference
David S. Salsburg
Download - Immediately Available
Format: eBook (PDF)
Sets, Functions and Numbers
I.S. Luthar
Out of Stock - We are unable to provide an estimated availability date for this product
Format: Book (Hardback)
£32.50
Out of Stock - We are unable to provide an estimated availability date for this product
Book (Hardback)
Add to BasketStochastic Calculus with Infinitesimals
Frederik S. Herzberg
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£31.99
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketStochastic Calculus with Infinitesimals
Frederik S. Herzberg
Download - Immediately Available
Format: eBook (PDF)
Hugh MacColl : An Overview of His Logical Work with Anthology
S Rahman
Out of stock
Format: Book (Paperback / softback)
Diamond: A Paradox Logic (2nd Edition)
Hellerstein Nathaniel S Hellerstein
Download - Immediately Available
Format: eBook (PDF)
Errors, Blunders, and Lies : How to Tell the Difference
David S. (Yale University, New Haven, CT, USA) Salsburg
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£28.99
£26.89
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketThe Logic of Provability
George S. (Massachusetts Institute of Technology) Boolos
Out of stock
Format: Book (Paperback / softback)
AIM for Success Practice Sheets for Aufmann/Lockwood's Algebra: Beginning and Intermediate, 3rd
Richard N. Aufmann
Item not Available
Format: Book (Paperback / softback)
£34.99
£34.75
Item not Available
Book (Paperback / softback)
Hyperfinite Dirichlet Forms and Stochastic Processes
Sergio Albeverio
Item not Available
Format: Book (Paperback / softback)
£40.99
£33.95
Item not Available
Book (Paperback / softback)
Hyperfinite Dirichlet Forms and Stochastic Processes
Sergio Albeverio
Download - Immediately Available
Format: eBook (PDF)
Science Sketches : The Universe from Different Angles
Sidney (Emory University, U.S.A.) Perkowitz
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
W. Buchholz
Download - Immediately Available
Format: eBook (PDF)