# nLab Introduction to Higher-Order Categorical Logic

This refers to the book by Jim Lambek and Phil Scott:

• Lambek, J.; Scott, P.J. (1986), Introduction to Higher Order Categorical Logic, Cambridge University Press, ISBN 978-0-521-35653-4.

category: reference

Created on April 4, 2012 18:13:32 by Tim Porter (95.147.237.221)