Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990

Front Cover
Cambridge University Press, 1992 - Computers - 306 pages
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

W POHLERS
27
H SCHWICHTENBERG
79
W BUCHHOLZ
115
S BUSS
149
E CICHON
171
S FEFERMAN
195
HOWE
227
RATHJEN
251
J TUCKER and J ZUCKER
275
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information