исчисление предикатов

• predikátový kalkulus

Источник: Русско-чешский словарь на Gufo.me