[Logique] 14.2. Codage de Gödel : Opérations sur les formules

Cours de logique Chapitre 14. Codage de Gödel Partie 2. Opérations sur les formules Formules. Preuve. Valeur entière vs numéral. Concaténation. Substitution. Retrouvez le livre sur https://exo7.emath.fr