Refine Your Search
Book List
1
-
Basic proof theory / A.S. Troelstra, H. Schwichtenberg.
- 511.3 T843
- Troelstra, A. S.
- Cambridge University Press,
- Cambridge :