  |
En este artículo se ha incorporado una traducción completa de «Higher-order logic», concretamente de esta versión del 03/08/2023 publicada bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional por editores de la Wikipedia en inglés. |