
Amazon | Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7) | Lambek, J., Scott, P. J. | Logic,

Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7): Lambek, J., Scott, P. J.: 9780521356534: Amazon.com: Books,

Introduction higher order categorical logic | Logic, categories and sets | Cambridge University Press,

Perspectives in Logic,

Cambridge Summer School in Mathematical Logic: Held in Cambridge /U. K., August 1-21, 1971 | SpringerLink,