@article{1183386540, author = {Chwistek, L.}, title = {A Formal Proof of Godel's Theorem}, journal = {J. Symbolic Logic}, volume = {4}, number = {1}, year = {1939}, pages = { 61-68}, language = {en}, url = {http://dml.mathdoc.fr/item/1183386540} }
Chwistek, L. A Formal Proof of Godel's Theorem. J. Symbolic Logic, Tome 4 (1939) no. 1, pp. 61-68. http://gdmltest.u-ga.fr/item/1183386540/