Théorème de complétude de Gödel (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Théorème de complétude de Gödel" in French language version.

refsWebsite

Global rank French rank

3,051^st place

182^nd place

2^nd place

3^rd place

doi.org

dx.doi.org

(en) G. Hasenjaeger, « Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe », J. Symbolic Logic, vol. 18, n^o 1,‎ 1953, p. 42–48 (DOI 10.2307/2266326) Gödel proof.

google.fr

books.google.fr

Voir Kurt Gödel, Collected works, vol 1 p. 44 et suivantes.