Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Full Title: | Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43) |
---|---|
ISBN: | 0521779111 |
ISBN13: | 9780521779111 |
List Price: | USD $59.99 |
Authors: |
Troelstra, A. S. Schwichtenberg, H. |