Introduction to Higher-Order Categorical Logic
(Cambridge Studies in Advanced Mathematics, 7) J. Lambek (1988/6)

って丸善で聞いたら版元品切れって言われちゃった・・orz
今だと、みんなはこっちの方を読むのが普通なの？？

Categorical Logic and Type Theory
(Studies in Logic and the Foundations of Mathematics, Vol 141)
Bart Jacobs (2001/7/1)

難しさにそんなに違いはないのかな？