Introduction to higher order categorical logic

Bibliographic Details
Main Author: Lambek, J
Other Authors: Scott, P J
Format: Printed Book
Published: Cambridge University Press, Cambridge 1986
Subjects:
Topological and related algebra and groups

Similar Items