Basic Proof Theory

Troelstra

by: a. S Troelstra · Helmut Schwichtenberg

Paperback

ISBN: 978-0-521-78452-8

ISBN-10: 0-521-78452-2

Cambridge University Press · 2000

See also:
2008PaperbackBasic Proof Theory 2ed (Cambridge Tracts in Theoretical Computer Science)
1996HardcoverBasic Proof Theory (Cambridge Tracts in Theoretical Computer Science)