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

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,

Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141): Jacobs, B.: 9780444508539: ,

Cambridge IGCSE and O Level Computer Science Algorithms, Programming and Logic Workbook: Hodder Education Group: Watson, David, Williams, Helen: 9781398318472: Amazon.com: Books