Books.md @master — view markup · raw · history · blame
Proof Theory Books
Basic Proof Theory
- authors: A. S. Troelsra, H. Schwichtenberg
- date: 1996
- borrow @ archive.org
Blue cover series same as "basic simple type theory"
Blue cover series same as "basic simple type theory"