Refine Your Search
Book List
1
-
Categorical logic and type theory [electronic resource] / Bart Jacobs.
- 511.3
- Jacobs, Bart.
- Elsevier Science,
- c1999.
- Amsterdam ; New York :