Introduction to higher order categorical logic
By: J. Lambek, P.J. Scott.
Contributors: Scott, P. J.
Series: Cambridge studies in advanced mathematics ;; 7
Publisher: Cambridge University Press
Published: 1986
Place of publication: Cambridge [Cambridgeshire]; New York
Language: eng
Number of pages: 293
Subjects: Categories (Mathematics)
Notes: Bibliography: p. [279]-288.
Includes indexes.