Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
By
Hardback
Available / dispatched within 1 - 2 weeks
Quantity
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.
More Details
- Contributor: Peter Aczel
- Imprint: Cambridge University Press
- ISBN13: 9780521414135
- Number of Pages: 320
- Packaged Dimensions: 152x229x22mm
- Packaged Weight: 640
- Format: Hardback
- Publisher: Cambridge University Press
- Release Date: 1993-02-11
- Binding: Hardback
Delivery Options
Home Delivery
Store Delivery
Free Returns
We hope you are delighted with everything you buy from us. However, if you are not, we will refund or replace your order up to 30 days after purchase. Terms and exclusions apply; find out more from our Returns and Refunds Policy.