ISBN 9780511896262 is currently unpriced. Please contact us for pricing.
Available options are listed below:
Available options are listed below:
Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990
| PUBLISHER | Cambridge University Press (11/05/2011) |
| PRODUCT TYPE | eBook (Open Ebook) |
Description
This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists.
Show More
Product Format
Product Details
ISBN-13:
9780511896262
ISBN-10:
0511896263
Content Language:
English
More Product Details
Carton Quantity:
0
Feature Codes:
Price on Product
Country of Origin:
US
Subject Information
BISAC Categories
Computers | Software Development & Engineering - General
Computers | Logic
Computers | Languages - General
Dewey Decimal:
511.3
Descriptions, Reviews, Etc.
publisher marketing
This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists.
Show More
Editor:
Simmons, Harold
Harold Simmons is officially retired but still active in research. He also teaches postgraduate courses in the School of Mathematics at the University of Manchester.
Show More