predikatni račun

Noun

 * 1) predicate calculus