Introduction to higher order categorical logic

Saved in:

Bibliographic Details
Main Author:	Lambek, J.
Format:	Book
Published:	Cambridge Univ. Pr. 1994
Subjects:	Categories (Mathematics)
Tags:	Add Tag No Tags, Be the first to tag this record!

UL

Holdings details from UL
Call Number:	512.55
Copy	On Shelf