1444936
9780521414135
A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.Aczel, Peter is the author of 'Proof Theory A Selection of Papers from the Leeds Proof Theory Programme 1990' with ISBN 9780521414135 and ISBN 052141413X.
[read more]