Académique Documents
Professionnel Documents
Culture Documents
5 Bibliographie
Sources littéraires :
-"Elements de logique formelle" par Gérard Chazal, édition Hermes
-"Mathematical logic and formalized theories" par Robert L.Rogers, 1974
Sources numérique :
-https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_compl%C3%A9tude_
%28calcul_des_propositions%29
-https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_compl%C3%A9tude_
de_G%C3%B6del
-https://fr.wikipedia.org/wiki/%C3%89l%C3%A9ments_d’Euclide
-http://detexify.kirelabs.org/classify.html
18