Introduction to higher order catagorical logic
By: J. Lambek and P.J. Scott.
Contributors: Scott, P. J.
Series: Cambridge studies in advanced mathematics
Publisher: CUP
Published: 1986
Place of publication: Cambridge
Language: eng