rt-g0_73c250c9-Kleene_VVM-russian/bibliography.bib

@article{cantor1874,
    author = "Кантор",
    nameaddon = "(Cantor Georg)",
    title = "{{\"U}ber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahleh}",
    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}
}
@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}
}