"Fonctions propositionnelles"@fr . . . "Prédicat (mathématiques)"@fr . "https://gallica.bnf.fr/ark:/12148/bpt6k4806537b.thumbnail" . "Fonctions, Logique des"@fr . "Calcul fonctionnel"@fr . . . "Dict. des mathématiques / A. Bouvier, M. George, F. Le Lionnais, 1993. - . - Langenscheidts Fachwörtberbuch Mathematik / G. Eisenreich, R. Sube, 1996. - . -"@fr . . . . . . . . . "Prédicats, Calcul des"@fr . . "2023-06-08" . . "Grand dict. encyclopédique Larousse. - . - Trésor de la langue française. - . - Encycl. universalis. - http://www.universalis-edu.com. - 2011-08-11"@fr . "11931096"^^ . . . . . . . "1985-07-06" . . "Logique des prédicats"@fr . . . . "Calcul des prédicats"@fr . . "Calcul des relations"@fr . . "Quantification, Théorie de la"@fr . . "Relations, Calcul des"@fr . "Predicate calculus" . . "Théorie de la quantification"@fr . . . "Logique des fonctions"@fr . . .