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 BasketSymbolic Logic
John (President of Gonville and Caius College, Cambridge) Venn
Item not Available
Format: Book (Hardback)
£23.95
Item not Available
Book (Hardback)