Типов Теория
Формальная теория 1-го порядка (см. Формальная система), один из вариантов к-рой — простая теория типов — описан ниже. Термин лТ. т.
Математическая энциклопедияФормальная теория 1-го порядка (см. Формальная система), один из вариантов к-рой — простая теория типов — описан ниже. Термин лТ. т.
Математическая энциклопедия