Geodesic
The structure of mathematics
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 31 (1976) no. 4 
H. Weyl. The structure of mathematics. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 31 (1976) no. 4. http://geodesic.mathdoc.fr/item/RM_1976_31_4_a11/
@article{RM_1976_31_4_a11,
     author = {H. Weyl},
     title = {The structure of mathematics},
     journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
     year = {1976},
     volume = {31},
     number = {4},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/RM_1976_31_4_a11/}
}
TY  - JOUR
AU  - H. Weyl
TI  - The structure of mathematics
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 1976
VL  - 31
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/RM_1976_31_4_a11/
LA  - ru
ID  - RM_1976_31_4_a11
ER  - 
%0 Journal Article
%A H. Weyl
%T The structure of mathematics
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1976
%V 31
%N 4
%U http://geodesic.mathdoc.fr/item/RM_1976_31_4_a11/
%G ru
%F RM_1976_31_4_a11

Voir la notice de l'article provenant de la source Math-Net.Ru

[1] B. Russell, “Mathematical Logic as based on the Theory of Types”, Amer. J. Math., 30 (1908), 222–262 | DOI | MR | Zbl

[2] A. N. Whitehead, B. Russell, Principia Mathematica, 3 vols, Gambridge, 1910–1913 ; second ed., 1925–1927 | Zbl | Zbl

[3] E. Zermelo, “Untersuchungen über Grundlagen der Mengenlehre”, Mathem. Ann., 65 (1908), 261–281 | DOI | MR | Zbl

[4] K. Gödel, “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme”, Monatsh. Math. Phys., 38 (1931), 173–198 | DOI | MR | Zbl

[5] K. Gödel, Consistency of the Continuum Hypothesis, Annals of Mathem. Studies, 3, University Press, Princeton, 1940 ; “Sovmestimost aksiomy vybora i obobschennoi kontinuum-gipotezy s aksiomami teorii mnozhestv”, UMN, 3:1 (1948), 96–149 | MR | Zbl

[6] K. Gödel, “Russel's Mathematical Logic”, The Philosophy of Betrand Russel, Northwestern University, 1944, 125–153

[7] G. Gentzen, “Die gegenwartige Lage in der mathematischen Grundlagenforschung”, Math. Ann., 112 (1936), 493–565 ; Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, her. von H. Scholz, Neue Folge, Heft 4, Leipzig, 1938 | DOI | MR | Zbl

[8] C. Prantl, Geschichte der Logik im Abendlande, 4, Leipzig, 1885–1870; Reprint, 1927

[9] H. Weyl, Philosophy of Mathematics and Natural Science, Princeton, 1949

[10] G. Veil, O filosofii matematiki, GTTI, M.–L., 1934

[11] Prikladnaya kombinatornaya matematika, Mir, M., 1968

[12] E. Mendelson, Vvedenie v matematicheskuyu logiku, Mir, M., 1971

[13] N. I. Styazhkin, Formirovanie matematicheskoi logiki, Nauka, M., 1967 | MR | Zbl