second-order logic
Sign in to saveAlso known as second-order predicate logic
extension of first-order logic allowing quantification over functions and relations
Also known as second-order predicate logic
extension of first-order logic allowing quantification over functions and relations