Узкое Исчисление Предикатов

См. Предикатов исчисление.