Последний раз редактировалось Pulseofmalstrem 06.11.2016, 20:25, всего редактировалось 1 раз.
Доброе время суток! Посоветуйте литературу по лямбда-исчислению и комбинаторной логике, желателен формат монографии, чтобы подробно освещались разные аспекты этой теории.
|