Skip to main content

Introduction to higher order categorical logic

Bookreader Item Preview

texts

Introduction to higher order categorical logic

by
Lambek, Joachim

Publication date
Topics
Categories (Mathematics)
Publisher
Cambridge [Cambridgeshire] ; New York : Cambridge University Press
Collection
trent_university; internetarchivebooks; printdisabled
Contributor
Internet Archive
Language
English
Item Size
438.7M
ix, 293 p. ; 24 cm. --

Includes indexes

Bibliography: p. [279]-288
Access-restricted-item
true
Addeddate
2019-07-08 13:00:48
Associated-names
Scott, P. J
Bookplateleaf
0004
Boxid
IA1345512
Camera
Sony Alpha-A6300 (Control)
Collection_set
trent
External-identifier
urn:oclc:record:1150043132[WorldCat (this item)]
urn:lcp:introductiontohi0000lamb:lcpdf:dbb84262-6994-4702-ab21-79b022eac832
urn:lcp:introductiontohi0000lamb:epub:8a7da42d-d73a-4db8-a86f-b869fcc2857e
Foldoutcount
0
Grant_report
Arcadia #4117
Identifier
introductiontohi0000lamb
Identifier-ark
ark:/13960/t78t2h18r
Full catalog record
MARCXML


comment
Reviews

There are no reviews yet. Be the first one to .

469 Views

12 Favorites

Purchase options

Better World Books

DOWNLOAD OPTIONS

No suitable files to display here.

IN COLLECTIONS

Trent University Library Donation Internet Archive Books

Uploaded by station01.cebu on

SIMILAR ITEMS (based on metadata)

Terms of Service (last updated 12/31/2014)