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 BasketA Complete System of Arithmetic : Theoretical and Practical
Of The Scottish Institute Ja Trotter
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)
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 BasketIndependence-Friendly Logic : A Game-Theoretic Approach
Allen L. (University of Tampere, Finland) Mann
Out of stock
Format: Book (Paperback / softback)
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 (Paperback / softback)
Symbolic Logic
John (President of Gonville and Caius College, Cambridge) Venn
Item not Available
Format: Book (Hardback)
£23.95
Item not Available
Book (Hardback)