исчисление
131Ламбда-Исчисление: его синтаксис и семантика , Барендрегт Х. (1985)
Воспроизведено в оригинальной авторской орфографии издания 1985 года (издательство "Мир Публишерс" ) 1604 руб132Четырехмерные многообразия и исчисление Кирби , Гомпф Р. (2013)
В этой монографии подробно изложена современная дифференциальная топология четырехмерных многообразий на… 733 руб