Introduction to higher order categorical logic / J. Lambek, P.J. Scott.
Material type: TextSeries: Cambridge studies in advanced mathematics ; 7Publication details: New York Cambridge University Press 1994Description: x, 293 p. ; 23 cmISBN:- 9780521356534 (pbk.)
- 512.55 LAM
Item type | Current library | Collection | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Books | H.T. Parekh Library | SIAS Collection | 512.55 LAM (Browse shelf(Opens below)) | Available | K10365 |
Browsing H.T. Parekh Library shelves, Collection: SIAS Collection Close shelf browser (Hides shelf browser)
512.55 HUM Introduction to Lie algebras and representation theory / | 512.55 KAS Quantum groups / | 512.55 KRA Homological theory of representations / | 512.55 LAM Introduction to higher order categorical logic / | 512.55 MAC Sheaves in geometry and logic : | 512.55 MAC Categories for the working mathematician / | 512.55 NEE Triangulated categories / |
GBP 50.99/-
Shanti Books
9459/02
There are no comments on this title.
Log in to your account to post a comment.