Image from Google Jackets
Image from OpenLibrary

Introduction to higher order categorical logic J Lambek and P J Scott

By: Contributor(s): Material type: TextTextSeries: Publication details: Cambridge University Press, Cambridge 1986Edition: Description: 293 pSubject(s): DDC classification:
  • 512.55 LAM-I
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Home library Call number Status Date due Barcode
Book Book Dept. of Mathematics Processing Center Dept. of Mathematics 512.55 LAM-I (Browse shelf(Opens below)) Available MAT5614

There are no comments on this title.

to post a comment.