2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Ищу книгу по лямбда исчислению.
Сообщение22.11.2011, 04:26 
Chris Hankin: Introduction to lambda calculi for computer scientist.

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

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

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

 
 
 [ 1 сообщение ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group