Introduction to higher order categorical logic /

Bibliographic Details
Main Author: Lambek, Joachim, 1922-
Other Authors: Scott, P. J.
Format: Book
Language:English
Published: Cambridge ; New York : Cambridge University, 1994.
Series:Cambridge studies in advanced mathematics ; 7
Subjects:
Description
Item Description:Incluye índice.
Physical Description:ix, 293 p. ; 24 cm.
Bibliography:Bibliografía: p. [279]-288.
ISBN:0521356539