Title: Logique et fondements de l'informatique
Subjects: Symbolic and mathematical Logic, Computer science, Mathematics, Lambda calculus, Recursive functions, Logic programming, Computable functions, First-order logic, Incomplétude, Indécidabilité, Fonction récursive, Programmation en logique, Complétude, Déduction, Calcul propositionnel, Lambda calcul, Calculabilité, Logique 1er ordre, Logique symbolique et mathématique, Informatique, Mathématiques, Lambda-calcul, Fonctions récursives, Programmation logique, Fonctions calculables, Logique du premier ordre, Berechenbarkeit, Lambda-Kalkül, Logik, Stufe 1, Logique, Manuel, Calcul lambda