Можно скачать Lambek, Scott. Intr.high.ord.categor.logic

[Yuri Gendelman]

По этой ссылке: http://up.spbland.ru/files/07052918/ можно скачать книгу:
Introduction to higher order categorical logic
by J.Lambek, P.J.Scott
Cambridge University Press. 1986

Архив длинной в ~30Мб содержит pdf-файл (~34 Мб) и 5% recovery record.
Ссылка работает до 25 ноября 2007.
Книга найдена на Осле.