Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990

Programme

by Peter Aczel

Paperback

ISBN: 978-0-521-05416-4

ISBN-10: 0-521-05416-8

Cambridge University Press · 2008

See also:
1993HardcoverProof Theory: A selection of papers from the Leeds Proof Theory Programme 1990