Title :
Introduction to higher order categorical logic
Author Statement :
J. Lambek, P.J. Scott
Publication :
Cambridge University Press
Collation :
ix, 293 p. ; 24 cm
Series :
Cambridge studies in advanced mathematics
Subject :
Categories (Mathematics)
ADDED ENTRIES :
Scott, P. J , ,
Index :
Bibliography: p. [279]-288
