Title:
Categorical logic and type theory
Author:
Jacobs, Bart.
ISBN:
9780444501707
9780080528700
Edition:
1st ed.
Publication Information:
Amsterdam ; New York : Elsevier Science, c1999.
Physical Description:
1 online resource (xviii, 760 p.) : ill.
Series:
Studies in logic and the foundations of mathematics ; v. 141
Series Title:
Studies in logic and the foundations of mathematics ; v. 141
Electronic Access:
ScienceDirect http://www.sciencedirect.com/science/book/9780444501707Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 256535-1001 | ONLINE | Searching... | Searching... |