second-order logic

views updated

second-order logic See predicate calculus.