«ПОСТА НОРМАЛЬНАЯ СИСТЕМА»

ПОСТА НОРМАЛЬНАЯ СИСТЕМА в энциклопедиях

Источники

Математическая энциклопедия

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