Cover Image

Introduction to higher order categorical logic

Show other versions (1)
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!
Be the first to leave a comment!
You must be logged in first

Similar Items