Chasse à la citation

L’extrait ci-dessous de Wikipédia n’est pas soutenu par une source fiable. Pouvez-vous en trouver une ?

Cliquez sur J’ai compris ! pour aller sur Wikipédia et corriger le fragment de code ou Suivant ! pour en voir un autre. Bonne chance !

Sur la page Logique d'ordre supérieur :

"

Elle utilise desobjets du troisième type[réf. souhaitée], comme les filtres ou ultrafiltres, les opérateurs sur les fonctions, mais est rarement mentionnée en tant que telle.