Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Peter Aczel, Harold Simmons, Stanley S. Wainer
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.
Categories:
Year:
1993
Publisher:
Cambridge University Press
Language:
english
Pages:
316
ISBN 10:
052141413X
ISBN 13:
9780521414135
File:
PDF, 9.38 MB
IPFS:
,
english, 1993
This book isn't available for download due to the complaint of the copyright holder