Predicate calculus is the axiomatic form of predicate logic.

The predicate calculus extends the propositional calculus by adding quantifiers such as 'all' (written with an upside-down 'A') and 'some' (written with a backwards 'E').

You might think of it as the study of instantaneous change. It is the study of limits, derivatives, integrals, and sums of infinite series. The word can also mean a system of calculation, such as with the predicate calculus, which is nothing more than symbolic logic.

Herman Ruge Jervell has written:

'On Skolem and Herbrand theorems for intuitionistic logic' -- subject(s): Intuitionistic mathematics, Predicate calculus

'Herbrand and Skolem theorems in infinitary languages' -- subject(s): Infinitary languages

'An Herebrand [i.e. Herbrand] theorem for higher order logic' -- subject(s): Predicate calculus

Complete predicate