Linked from

The 5 pages that link to Higher-order logic, each with the reason it gives.

• Gottlob FregeRelated: Frege’s system allowed quantification over concepts, extending logic beyond first-order quantification.