by: A. S. Troelstra · H. Schwichtenberg
Hardcover
ISBN: 978-0-521-57223-1
ISBN-10: 0-521-57223-1
Cambridge University Press · 1996
|
|
by: A. S. Troelstra · H. SchwichtenbergHardcover
ISBN: 978-0-521-57223-1 ISBN-10: 0-521-57223-1 Cambridge University Press · 1996 |
| See also: | ||
| 2008 | Paperback | Basic Proof Theory 2ed (Cambridge Tracts in Theoretical Computer Science) |