Introduction to higher order categorical logic /

Bibliographic Details

Main Author:	Lambek, Joachim
Other Authors:	Scott, P. J.
Format:	Book
Language:	English
Published:	Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1986.
Series:	Cambridge studies in advanced mathematics ; 7.
Subjects:	Categories (Mathematics)