История изменений
Исправление ymn, (текущая версия) :
винберг - курс алгебры, барендрегдт - ламбда-исчисление, его синтаксис и семантика.
на тумбе рядом с кроватью лежит Хоуп - Когда можно аплодировать? Путеводитель для любителей классической музыки
Исходная версия ymn, :
винберг - курс алгебры, барендрегдт - ламбда-исчисление, его синтаксис и семантика.