" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

МИНИМАЛЬНОЕ ФУНКЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ,

Значение МИНИМАЛЬНОЕ ФУНКЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ, в математической энциклопедии:

минимальное исчисление предикатов,- исчисление предикатов, задаваемое всеми схемами аксиом минимального пропозиционального исчисления и обычными кванторными схемами аксиом и правилами вывода, т. е.

(t- произвольный терм), модус поненс и

(переменная ане входит в (х)и в С).

Лит.:[1] Чёрч А., Введение в математическую логику, пер. с англ., М., 1960.

С. К. Соболев.