Normal view MARC view ISBD view

Introduction to higher order categorical logic

Lambek, J.

Introduction to higher order categorical logic J. Lambek, P.J. Scott. - Cambridge Univ. Pr. 1994 - x, 293p. 23cm

Subjects--Topical Terms:
Categories (Mathematics)

Dewey Class. No.: 512.55

Place hold
Print
Request article
Add to your cart (remove)
Send to device
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)