Ламбда - исчисление. Его синтаксис и сематика: научное издание/

Bibliographic Details
Main Author:	Барендрегт, Х. П. Хендрик Питер (Author)
Format:	Book
Language:	Russian
Published:	М.: Мир 1985
Subjects:	МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ
Online Access:	Перейти в каталог Библиотеки ТУСУР

Similar Items