Deductive systems and categories II (1969)

by J Lambek
Venue:In Lecture Notes in Mathematics 87