Раздел «ЦИТИРОВАННАЯ ЛИТЕРАТУРА»

Вейль Г. Избранные труды. М.: Наука, 1984.

Гильберт Д. Основания геометрии. М.: Гостехиздат, 1948.

Гюйгенс X. Трактат о свете// Пер. с англ. Н. Фредерикса, 1935.

Клини С. Введение в метаматематику. М.: Изд-во иностр. лит., 1957.

Лейбниц Г.В. Сочинения. В 4 т. М.: Мысль, 1984. Т. 3.

Рассел Б. Новейшие работы о началах математики // Новые идеи в математике. / Под ред. А.В. Васильева. 1913. № 1. С. 82-105.

Рассел Б. Проблемы философии. СПб., 1914.

Рассел Б. Человеческое познание. Его сферы и границы. М.: Изд-во иностр. лит., 1957.

Abel N.H. Letter to Hansteen // S. Lie and L. Sylow (eds.): Oeuvres Completes. 1826. Vol. 2. P. 263-5. Christiana: Grondahl, 1881.

Bourbaki N. The Foundations of Mathematics for the Working Scientist // Journal of Symbolic Logic. 1949. VoL 14. P. 1-8.

Braithwaite R.B. Scientific Explanation. Cambridge: University Press, 1953.

Fraenkel A.A. Zehn Vorlesungen Über die Grundlegung der Mengenlehre. Leipzig, Berlin: B.G. Teubner, 1927.

Frege G. Grundgesetze der Arithmetik. Jena. 1893. Bd. I.

Huyghens C. Treatise on Light University of Chicago Press, 1945.

Kemeny J. Undecidable Problems in Elementary Number Theory // Mathematische Annalen. 1958. Vol. 135. P. 160-169.

Kemeny J. A Philosopher Looks at Science. Princeton: Van Nostrand, 1959.

Kleene S.C. Introduction to Metamathematics. Amsterdam: North Holland, 1952.

Lakatos I. Essays in the Logic of Mathematical Discovery: Unpublished PhD dissertation. Cambridge, 1961.

Neumann J. von. Zur Hilbertischen Beweistheorie // Mathematische Zeitschrift. 1927. Bd 26. S.1-46.