Introduction to Higher-Order Categorical Logic (Cambridge
Introduction to Higher-Order Categorical Logic (Cambridge,Introduction to Higher-Order Categorical Logic (Cambridge,Introduction To Higher-Order Categorical Logic (J. Lambek,Introduction to Higher-Order Categorical Logic - J. Lambek,Introduction higher order categorical logic | Logic