predicate language

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