Cambridge University Press
Proof Theory
Subjects: ICT,
Mathematical theory of computation
ISBN13: 9780521054164
Published: 21 Jan 2008
Format - Paperback / softback
Usually ready in 7-10 business days.
Regular price
A$62.82
Sale price
A$62.82
Regular price
A$64.76
Proof Theory
Regular price
A$62.82
Sale price
A$62.82
Regular price
A$64.76
Product description
Shipping & Return
The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists.
Shipping cost is based on weight. Just add products to your cart and use the Shipping Calculator to see the shipping price.
We want you to be 100% satisfied with your purchase. Items can be returned or exchanged within 30 days of delivery.