Минимальное Функциональное Исчисление,

Минимальное исчисление предикатов,- исчисление предикатов, задаваемое всеми схемами аксиом минимального пропозиционального исчисления и обычными кванторными схемами аксиом и правилами вывода, т. е.(t- произвольный терм), модус поненс и (переменная ане входит в (х)и в С). Лит.:[1] Чёрч А., Введение в математическую логику, пер. с англ., М., 1960. С. К. Соболев.