Summary and Info
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.
More About the Author
Peter Henry George Aczel (born October 31, 1941) is a British mathematician, logician and Emeritus joint Professor in the School of Computer Science and the School of Mathematics at the University of Manchester.
Review and Comments
Rate the Book
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 0 out of 5 stars based on 0 ratings.