Новая философская энциклопедия
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ – см. Логика предикатов [ЛОГИКА ПРЕДИКАТОВ].
Исчисление предикатов
исчисление предикатов
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ