Normal view MARC view ISBD view

Introduction to higher order categorical logic J. Lambek, P.J. Scott.

By:

Publication details: Cambridge Univ. Pr. 1994Description: x, 293p. 23cmSubject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Copy number	Status	Date due	Barcode
Books	University Library General Stacks	512.55 (Browse shelf(Opens below))	C-1	Available		95213

Previous	No cover image available	No cover image available	No cover image available	No cover image available			No cover image available	Next
Previous	512.521 None Elementary linear algebra	512.53 L254s Symmetric designs	512.55 Introduction to higher order categorical logic	512.55 Introduction to higher order categorical logic	512.55 H656c 2nd ed. A Course in Homological Algebra/	512.55 H656c 2nd ed. A Course in Homological Algebra/	512.55 R714u Uniform structures on topological groups and their quotients	Next

Mehedi_Hasan_68_4_Document_6_734.jpg_processed