Introduction to higher order categorical logic

Saved in:
Bibliographic Details
Main Author: Lambek, J.
Format: Book
Published: Cambridge Univ. Pr. 1994
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
Search Result 1

Introduction to higher order categorical logic / by Lambek, J.

Published 1994
Book
View in Koha OPAC JU Central Library