Refine Your Search
Book List
2
-
A course in combinatorics / J.H. van Lint and R.M. Wilson.
- 511.6 L761 2006
- Lint, Jacobus Hendricus van, 1932-
- Cambridge University Press,
- 2006.
- Cambridge, U.K. :
-
Basic simple type theory / J. Roger Hindley.
- 005.13 H6623 2008
- Hindley, J. Roger.
- Cambridge University Press,
- 2008, c1997.
- Cambridge, U.K. :