
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7),

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

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

An Introduction to Formal Logic | Higher Education from Cambridge,

A Philosophical Introduction to Higher-order Logics