Proof Theory - A selection of papers from the Leeds Proof Theory Programme 1990 (Paperback)
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.
R1,158
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
11580
@R109pm x 12* 
Ships in 12 - 17 working days
Add to wish listReview this Item
Donate to Against Period Poverty
Product Description
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.
Customer Reviews
No reviews or ratings yet - be the first to create one!
Product Details
General
Imprint | Cambridge UniversityPress |
Country of origin | United Kingdom |
Release date | 2008 |
Availability | Expected to ship within 12 - 17 working days |
First published | February 2008 |
Editors | Peter Aczel, Harold Simmons, Stanley S. Wainer |
Dimensions | 228 x 151 x 18mm (L x W x T) |
Format | Paperback - Trade |
Pages | 320 |
ISBN-13 | 978-0-521-05416-4 |
Barcode | 9780521054164 |
Categories | |
LSN | 0-521-05416-8 |
Similar Products | Recommended ProductsSee more 
Trending On Loot
Be the first to know about our
latest deals & promos! Subscribe Now
