Categorical logic and type theory Bart Jacobs.
Material type: TextSeries: Studies in logic and the foundations of mathematics ; v. 141Publication details: Amsterdam ; New York : Elsevier Science, 1999Description: xviii, 760 p. : illISBN: 0444501703Subject(s): Type theory | Categories (Mathematics)LOC classification: QA9 | .J27 1999Item type | Current library | Collection | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Main Campus General Collection | General collection | QA9 .J27 1999 (Browse shelf(Opens below)) | Available | M.W.M | 13710 |
Includes Index
There are no comments on this title.