![]() |
by: a. S Troelstra · Helmut SchwichtenbergPaperback
details (Italy). details (Spain - España). ISBN: 978-0-521-78452-8 ISBN-10: 0-521-78452-2 Cambridge University Press · 2000 |
See also: | ||
2008 | Paperback | Basic Proof Theory 2ed (Cambridge Tracts in Theoretical Computer Science) |
1996 | Hardcover | Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science) |