rt-g0_73c250c9-Kleene_VVM-russian/bibliography.bib

@article{cantor1874,
    author = "Кантор",
    nameaddon = "(Cantor Georg)",
    title = "{{\"U}ber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen}",
    journal = "Journal f{\"u}r die reine und angewandte Mathematik",
    number = "77",
    pages = "258--262",
    year = "1874",
    addendum = "Перепечатана в Georg Cantor Gesammelte Abhandlungen, Berlin (Springer) 1932, p. 115--118.",
    keywords = {mainBibliography}
}
%% TODO: разобраться с номерами и годами журналов
@article{cantor1895,
    author = "Кантор",
    nameaddon = "(Cantor Georg)",
    title = "{Beitr{\"a}ge zur Begr{\"u}ndung der transfiniten Mengenlehre}",
    journal = "Mathematische Annalen",
    number = "46",
    pages = "481--512",
    year = "1895",
    number = "49",
    pages = "207--246",
    year = "1897",
    addendum = "Перепечатана в Georg Cantor Gesammelte Abhandlungen, стр. 282--351. Английский перевод Журдэна (Ph. E. B. Jourdain) под заголовком Contributions to the founding of the theory of transfinite numbers, Chicago and London (Open Court) 1915, xi+211 p.",
    keywords = {mainBibliography}
}
@book{frege1884,
    author = "Фреге",
    nameaddon = "(Frege Gottlob)",
    title = "{Die Grundlagen der Arithmetik, eine logisch-mathematische Untersuchung {\"u}ber den Begriff der Zahl}",
    pagetotal = "XIX+119 p.",
    year = "1884",
    location = "Breslau",
    addendum = "Перепечатка: Breslau (M. \& H. Marcus) 1934. Английский перевод Остина (J. L. Austin) (с немецким оригиналом): The foundation of arithmetics. A logico-mathematical enquiry into concept of number. Oxford (Basil Blackwell) and New York (Philosophical Library) 1950, (XII+XI, 119)\texttimes 2 стр.",
    keywords = {mainBibliography}
}

% TODO: уточнить название
@article{russel1902,
    author = "Рассел",
    nameaddon = "(Russell Bertrand) (Russel B. A. W.)",
    title = "{On finite and infinite cardinal numbers (\textsection~III, статьи Уайтхеда On cardinal numbers)}",
    journal = "Amer. journ. math.",
    number = "24",
    pages = "378--383",
    year = "1902",
    keywords = {mainBibliography}
}

@article{neumann1928,
    author = "Нейман",
    nameaddon = "(Neumann, John von)",
    title = "{Die Axiomatisierung der Mengenlehre}",
    journal = "Math. Zeit.",
    number = "27",
    pages = "669--752",
    year = "1928",
    keywords = {mainBibliography}
}

@article{bernstein1898,
    author = "Бернштейн",
    nameaddon = "(Bernstein Felix)",
    year = "1898",
    addendum = "См. Борель~\cite[стр. 104]{borel1898}",
    keywords = {mainBibliography}
}

@book{borel1898,
    author = "Борель",
    nameaddon = "(Borel {\'E}mile)",
    title = "{Le{\c{c}}ons sur la th{\'e}orie des fonctions}",
    location = "Paris",
    publisher = "Gauthier-Villars",
    year = "1898",
    keywords = {mainBibliography}
}

@book{dedekind1888,
    author = "Дедекинд",
    nameaddon = "(Dedekind Richard)",
    title = "{Was sind und was sollen die Zahlen?}",
    location = "Braunschweig",
    edition = "6-ое изд.",
    pubstate = "1930",
    year = "1888",
    addendum = "Также в Werke, vol. III, 335--391. Английский перевод Бимена (Beman), The nature and meaning of numbers, loc. cit., p. 31--105.",
    keywords = {mainBibliography}
}

@book{hausdorff1914,
    author = "Хаусдорф",
    nameaddon = "(Hausdorff Felix)",
    title = "{Grundz{\"u}ge der Mengenlehre}",
    location = "Leipzig",
    publisher = "Viet",
    year = "1914",
    pagetotal = "VIII+467 p.",
    keywords = {mainBibliography}
}

@book{hausdorff1927,
    author = "Хаусдорф",
    nameaddon = "(Hausdorff Felix)",
    title = "{Mengenlehre}",
    location = "Berlin und Leipzig",
    publisher = "Gruyter",
    year = "1927",
    edition = "второе переработанное издание~\cite{hausdorff1914} (в некоторых вопросах менее полное)",
    pagetotal = "285 p.",
    library = "G{\"o}schens Lehrb{\"u}cherei, I Gruppe Band 7",
    addendum = "3-е изд., 1935, 307 p. Перепечатка: New York (Dover Publications) 1944. \lbrack Русский перевод: {\sparseFnt Хаусдорф}, Теория множеств, ОНТИ, М.---Л., 1937, 304 стр.\rbrack",
    keywords = {mainBibliography}
}

@book{fraenkel1928,
    author = "Френкель",
    nameaddon = "(Fraenkel Adolf)",
    title = "{Einleitung in die Mengenlehre}",
    location = "Berlin",
    publisher = "Springer",
    year = "1928",
    edition = "3-е изд.",
    pagetotal = "XIII+424 p.",
    addendum = "Перепечатка: New York (Dover Publications) 1946",
    keywords = {mainBibliography}
}

@book{fraenkel1952,
    author = "Френкель",
    nameaddon = "(Fraenkel Adolf)",
    title = "{Abstract set theory}",
    series="Studies in logic and the foundations of mathematics",
    location = "Amsterdam",
    publisher = "North-Holland Pub. Co.",
    year = "1952",
    pagetotal = "XII+489 p.",
    addendum = "вышла в 1953 г.",
    keywords = {mainBibliography}
}

@article{zermelo1904,
    author = "Цермело",
    nameaddon = "(Zermelo Ernst)",
    title = "{Beweis, da{\ss} jede Menge wohlgeordnet werden kann}",
    journal = "Math. Ann.",
    number = "59",
    pages = "514--516",
    year = "1904",
    addendum = "См. также~\cite{zermelo1908a}",
    keywords = {mainBibliography}
}

% ibidem to journal = "Math. Ann."
@article{zermelo1908a,
    author = "Цермело",
    nameaddon = "(Zermelo Ernst)",
    title = "{Neuer Beweis f{\"u}r die M{\"o}glichkeit einer Wohlordnung}",
    journal = "ibid.",
    number = "65",
    pages = "107--128",
    pubstate = "1908a",
    year = "1908a",
    keywords = {mainBibliography}
}

@article{goedel1947,
    author = "Гёдель",
    nameaddon = "(G{\"o}del Kurt)",
    title = "{What is Cantor's continuum problem?}",
    journal = "American mathematical monthly",
    number = "54",
    pages = "515-525",
    year = "1947",
    keywords = {mainBibliography}
}

@book{aleksandrov1948,
    author = "П. С. Александров",
    title = "{Введение в общую теорию функций}",
    publisher = "М.---Л.",
    pubstate = "1948",
    year = "1948",
    pagetotal = "441 стр.",
    keywords = {mainBibliography,addedByTranslator}
}

@book{peano1889,
    author = "Пеано",
    nameaddon = "(Peano Giuseppe)",
    title = "{Arithmetices principia, novo methodo exposita}",
    pagetotal = "XVI+20 p.",
    year = "1889",
    location = "Turin",
    publisher = "Bocca",
    keywords = {mainBibliography}
}
@article{peano1891,
    author = "Пеано",
    nameaddon = "(Peano Giuseppe)",
    title = "{Sul concetto di numero}",
    journal = "Rivista di matematica",
    number = "1",
    pages = "87-102, 256-267",
    year = "1891",
    addendum = "Пеано формулирует свои аксиомы для целых положительных чисел. (Многие авторы называют их <<натуральными числами>>.)",
    keywords = {mainBibliography,starred}
}
@article{hilbert1900,
    author = "Гильберт",
    nameaddon = "(Hilbert David)",
    title = "{{\"U}ber den Zahlbegriff}",
    journal = "Jahresbericht der Deutschen Mathematiker-Vereinigung",
    volume = "8",
    pages = "180-184",
    year = "1900",
    addendum = "Неполностью перепечатана в Grundlagen der Geometrie, 7-ое изд., Leipzig und Berlin (Teubner) 1930, p.241--246 (стр.315--321 русского перевода).",
    keywords = {mainBibliography}
}
@article{veblen1904,
    author = "Веблен",
    nameaddon = "(Veblen Oswald)",
    title = "{A system axiom for geometries}",
    journal = "Trans. Amer. Math. Soc.",
    number = "5",
    pages = "343-384",
    year = "1904",
    addendum = "См. Веблен и Басси~\cite{veblen_and_bussey1906}",
    keywords = {mainBibliography}
}
% TODO: разобраться с кернингом "and"
@article{veblen_and_bussey1906,
    author = "Веблен~и~Басси",
    nameaddon = "(Veblen Oswald {\unsparseFnt and} Bussey W. H.)",
    title = "{Finite projective geometries}",
    journal = "Trans. Amer. Math. Soc.",
    number = "7",
    pages = "241-259",
    year = "1906",
    keywords = {mainBibliography}
}
% TODO: разобраться с годом публикации
@book{hilbert1899,
    author = "Гильберт",
    nameaddon = "(Hilbert David)",
    title = "{Grundlagen der Geometrie}",
    pagetotal = "vii+326 pp.",
    year = "1930",
    year = "1899",
    edition = "7-е изд.",
    location = "Leipzig und Berlin",
    publisher = "Teubner",
    addendum = "[Русский перевод: {\sparseFnt Гильберт Д.}, Основания геометрии, ОГИЗ, М.---Л., 1948, 491 стр.]",
    keywords = {mainBibliography}
}
% TODO: разобраться с годом публикации
@book{poincare1900,
    author = "Пуанкаре",
    nameaddon = "(Poincar{\'e} Henri)",
    title = "{Du role l'intuition et de la logique en math{\'e}matiques.Compte rendu du Deuxieme Congres International des Mathematiciens, denu a Paris du 6 au 12 aot 1900}",
    pages = "115-130",
    location = "Paris",
    publisher = "Gauthier-Villars",
    year = "1902",
    year = "1900",
    keywords = {mainBibliography}
}
% TODO: разобраться с годом публикации
@book{dedekind1872,
    author = "Дедекинд",
    nameaddon = "(Dedekind Richard)",
    title = "{Stetigkeit und irrationale Zahlen}",
    pagetotal = "vii+326 pp.",
    year = "1927",
    year = "1872",
    edition = "5-е изд.",
    location = "Braunschweig",
    addendum = "Также в Dedekind Gesammelte mathematische Werke, vol. III, Braunschweig (Vieweg \& Sohn) 1932, p.315--334 [Русский перевод: {\sparseFnt Дедекинд Р.}, Непрерывность и иррациональные числа, Mathesis, Одесса, 1923.]",
    keywords = {mainBibliography}
}
@article{church1932,
    author = "Чёрч",
    nameaddon = "(Church Alonzo)",
    title = "{A set of postulates for the foundation of logic}",
    journal = "Annals of mathematics, second series",
    number = "33",
    pages = "346-366",
    year = "1932",
    keywords = {mainBibliography}
}
@article{schoenfinkel1924,
    author = "М. И. Шейнфинкель",
    nameaddon = "(Sch{\"o}nfinkel Moses)",
    title = "{{\"U}ber die Bausteine der mathematischen Logik}",
    journal = "Math. Ann.",
    number = "92",
    pages = "305-316",
    year = "1924",
    keywords = {mainBibliography}
}
@article{buraliforti1897,
    author = "Бурали-Форти",
    nameaddon = "(Burali-Forti Cesare)",
    title = "{Una questione sui numeri transfiniti}",
    journal = "Rendiconti del Circolo Matematico di Palermo",
    number = "11",
    pages = "154-164",
    year = "1897",
    addendum = "См. также ibid., 260. Об открытии Кантором парадоксов Бурали-Форти и Кантора см. Френкель~\cite[стр. 470]{fraenkel1932}",
    keywords = {mainBibliography,starred}
}
@book{fraenkel1932,
    author = "Френкель",
    nameaddon = "(Fraenkel Adolf)",
    title = "{Das Leben Georg Cantors. Georg Cantor Gesammelte Abhandlungen mathematischen und philosophischen Inhalts}",
    editor = "Цермело~(Ernst~Zermelo)",
    location = "Berlin",
    publisher = "Springer",
    year = "1932",
    pages = "452-483",
    keywords = {mainBibliography}
}
@article{gentzen1936,
    author = "Генцен",
    nameaddon = "(Gentzen Gerhard)",
    title = "{Die Widerspruchsfreiheit der reinen Zahlentheorie}",
    journal = "Mathematische Annalen",
    number = "112",
    pages = "493-565",
    year = "1936",
    addendum = "Он употребляет ${1,\; 2,\; 3\ldots}$ там, где мы употребляем ${0,\; 1,\; 2,\; \ldots}$.",
    keywords = {mainBibliography}
}
% TODO: разобраться с годом публикации
@book{russel1902-1903,
    author = "Рассел",
    nameaddon = "(Russell Bertrand) (Russel B. A. W.)",
    year = "1902--1903",
    addendum = "Парадокс Рассела встречается у Фреге~\cite{frege1903} в postscriptum'е (датированным Фреге октябрём 1902 г.), стр. 253--265. По поводу независимого открытия Цермело этого парадокса, см.~Цермело~\cite[стр. 119]{zermelo1908a} и~Гильберт~\cite[стр. 169]{hilbert1926}",
    keywords = {mainBibliography,starred}
}
% TODO: разобраться с годом публикации
@book{russel1919,
    author = "Рассел",
    nameaddon = "(Russell Bertrand) (Russel B. A. W.)",
    title = "{Introduction to mathematical philosophy}",
    pagetotal = "VIII+208 p.",
    year = "1920",
    year = "1919",
    edition = "2nd ed.",
    origlocation = "London",
    origpublisher = "G. Allen and Unwin",
    location = "New York",
    publisher = "Macmillan",
    keywords = {mainBibliography}
}
@article{dantzig1948,
    author = "ван~Данциг",
    sortname = "Данциг",
    nameaddon = "(Dantzig, D. van)",
    title = "{Significs, and its relation to semiotics}",
    journal = "Library of the Tenth International Congress of Philosophy (Amsterdam, Aug. 11--18, 1948)",
    volume = "2 Philosophical essays",
    location = "Amsterdam",
    publisher = "Veen",
    pages = "176-189",
    year = "1948",
    keywords = {mainBibliography}
}
@article{gonseth1933,
    author = "Гонсет",
    nameaddon = "(Gonseth Ferdinand)",
    title = "{La v{\'e}rit{\'e} math{\'e}matique et la r{\'e}alit{\'e}}",
    journal = "L'Enseignement mathematique",
    number = "31 (за 1932, вышло из печати в 1933)",
    pages = "96-114",
    year = "1933",
    addendum = "См. также: A propos d'un catalogue paradoxical, Reponse de M. Gonseth a M. Winants, ibid., p. 269--271",
    keywords = {mainBibliography}
}
@book{frege1893,
    author = "Фреге",
    nameaddon = "(Frege Gottlob)",
    title = "{Grundgesetze der Arithmetik, begriff schriftlich abgeleitet}",
    volume = "1",
    pagetotal = "XXXII+254 p.",
    year = "1893",
    location = "Jena",
    publisher = "H. Pohle",
    keywords = {mainBibliography}
}
@book{frege1903,
    author = "Фреге",
    nameaddon = "(Frege Gottlob)",
    title = "{Grundgesetze der Arithmetik, begriff schriftlich abgeleitet}",
    volume = "2",
    pagetotal = "XV+265 p.",
    year = "1903",
    location = "Jena",
    publisher = "H. Pohle",
    addendum = "Английский перевод \textsection\textsection~86--137 Блэка (Max Black) под заголовком Frege against the formalists опубликован в The philosophical review, 59 (1950), 77--93, 202--219, 332--345.",
    keywords = {mainBibliography}
}
%% TODO: подумать над ibid
%% исправлена опечатка
%% в оригинале "begriffsschriftlich"
%%
@article{hilbert1926,
    author = "Гильберт",
    nameaddon = "(Hilbert David)",
    title = "{{\"U}ber das Unendliche}",
    journal = "Math. Ann.",
    number = "95",
    pages = "161-190",
    year = "1926",
    addendum = "Перепечатка в сокращённом виде в Jahresb. Deutschen Math. Verein., 36 (1927), 201--215, а также с некоторыми изменениями в Grundlagen der Geometrie, 7-ое изд., 1930, p. 262--288 (стр. 338--364 русского перевода).",
    keywords = {mainBibliography}
}
@article{richard1905,
    author = "Ришар",
    nameaddon = "(Richard Jules)",
    title = "{Les principes des math{\'e}matiques et le probleme des ensembles}",
    journal = "Revue g{\'e}n{\'e}rale des sciences pures et appliqu{\'e}es",
    number = "16",
    pages = "541-543",
    year = "1905",
    addendum = "Также в Acta mathematica, 30 (1906), 295--296.",
    keywords = {mainBibliography}
}
@article{dixon1906,
    author = "Диксон",
    nameaddon = "(Dixon A. C.)",
    title = "{On <<well-ordered>> aggregates}",
    journal = "Proceedings of the London Mathematical Society",
    series="2",
    number = "4",
    pages = "18-20",
    year = "1906",
    addendum = "Ср. ibid., p.317--319",
    keywords = {mainBibliography}
}
%% TODO: подумать над ibid
@article{russel1906,
    author = "Рассел",
    nameaddon = "(Russell Bertrand) (Russel B. A. W.)",
    title = "{Les paradoxes de la logique}",
    journal = "Revue de m{\'e}taphysique et de morale",
    number = "14",
    pages = "627-650",
    year = "1906",
    keywords = {mainBibliography}
}
@article{berry1906,
    author = "Берри",
    nameaddon = "(Berry G. G.)",
    year = "1906",
    addendum = "См. Рассел~\cite[стр. 645]{russel1906}.",
    keywords = {mainBibliography}
}
@book{weyl1949,
    author = "Вейль",
    nameaddon = "(Weyl Hermann)",
    title = "{Phylosophy of mathematics and natural science}",
    pagetotal = "X+311 p.",
    year = "1949",
    location = "Princeton, N. J.",
    publisher = "Princeton University Press",
    addendum = "Переработанное и дополненное английское издание на основе перевода Хельмера (Olaf Helmer) с немецкого оригинала \lbrack1927\rbrack.",
    keywords = {mainBibliography}
}
@book{rustow1910,
    author = "Рюстов",
    nameaddon = "(R{\"u}stow Alexander)",
    title = "{Der L{\"u}gner: Theorie, Geschichte und Aufl{\"o}sung}",
    pagetotal = "V+147 p.",
    year = "1910",
    location = "Leipzig",
    publisher = "Teubner",
    keywords = {mainBibliography}
}
%% исправлена опечатка
%% в оригинале в названии запятая вместо двоеточия
%%
@book{prandtl1855,
    author = "Прандтль",
    nameaddon = "(Prandtl Carl)",
    title = "{Geschichte der Logik im Abendlante}",
    volume = "1",
    pagetotal = "XII+734 p.",
    year = "1855",
    location = "Leipzig",
    publisher = "S. Hirzel",
    addendum = "(Остальные тома 1861, 1867, 1870.) Перепечатка, 1927.",
    keywords = {mainBibliography}
}