Поста Нормальная Система

Нормальное исчисление,- важный частный случай Поста канонической системы. с. Ю. Мослов.