predicate calculus

Числення предикатів

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

рахунок предикатів