Ламбда-исчисление Его синтаксис и семантика
Барендрегт, Хендрик Питерসাল:
1985
প্রকাশক:
Мир
ভাষা:
russian
পৃষ্ঠা:
607
ফাইল:
DJVU, 8.33 MB
IPFS:
,
russian, 1985