ISBN 0521779111 books & textbook
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Troelstra, A. S. Schwichtenberg, H.
Cambridge University Press /2000-07-31 Paperback / 432 Pages
isbn-10: 0521779111 / isbn-13: 9780521779111
