Ламбда-исчисление Его синтаксис и семантика

Author: Барендрегт Х.
Publisher: Мир
Language: Russian
Year: 1985
Page: 304
ISBN: В-пер
File Type: djvu
File Size: 6.4 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book