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 |
GBP 50.99/-
Shanti Books
9459/02
There are no comments on this title.
Log in to your account to post a comment.