Ищу книгу по лямбда исчислению.

[folex]

Chris Hankin: Introduction to lambda calculi for computer scientist.

Я нашел её на ACM library, попытался скачать её через sci-hub.org, и даже преуспел в этом. Однако, то, что я скачал по ссылке
Full Text: Pdf
оказалось не книгой, указанной вверху, а чем-то странным и непонятным, выдернутым откуда-то.
Да и авторы там какие-то странные указаны. Непонятно, что там на ACM lib, в общем.

В общем, ищу.
Если вам известна какая-то возможность купить её дешевле 1000 рублей в Москве, буду благодарен, если вы напишете о ней сюда.

Заранее спасибо.