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:

Evans: Library Stacks

Holdings details from Evans: Library Stacks
Call Number: QA169 .L28 1986
 
Call Number Status Get It
QA169 .L28 1986 Available