Second- and higher-order logics

By Lavine, Shaughan

In first-order predicate logic there are symbols for fixed individuals, relations and functions on a given universe of individuals and there are variables ranging over the individuals, with ...