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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!