Mots-clés – Auteurs

systématisation de la logique formelle

Il y a 1 résultat pour cette recherche

1989 Le théorème de Gödel.
Auteurs : Gödel Kurt ; Nagel Ernest ; Newman James R. ; Girard Jean-Yves