rt-g0_73c250c9-Kleene_VVM-russian/bibliography.bib

%======= Александров ===========================================================
@book{aleksandrov1948,
    author = "П. С. Александров",
    title = "{Введение в общую теорию функций}",
    publisher = "М.---Л.",
    pubstate = "1948",
    year = "1948",
    pagetotal = "441",
    keywords = {mainBibliography,addedByTranslator}
}
%======= Бернштейн =============================================================
@article{bernstein1898,
    author = "Бернштейн", nameaddon = "(Bernstein Felix)",
    year = "1898",
    addendum = "См. Борель~\cite[стр. 104]{borel1898}",
    keywords = {mainBibliography}
}
%======= Берри =================================================================
@article{berry1906,
    author = "Берри", nameaddon = "(Berry G. G.)",
    year = "1906",
    addendum = "См. Рассел~\cite[стр. 645]{russell1906}.",
    keywords = {mainBibliography}
}
%======= Блэк ==================================================================
% TODO: разобраться с местом публикации
@book{black1933,
    author = "Блэк", nameaddon = "(Black Max)",
    title = "{The nature of mathematics. A critical survey}",
    pagetotal = "XIV+219 p.",
    year = "1933",
    origlocation = "London",
    origpublisher = "Kegan Paul, Trench, Trubner",
    location = "New York",
    publisher = "Hartcourt, Brace",
    addendum = "Перепечатка: London (Routledge and Kegan Paul) and New York
    (The Humanities Press) 1950.",
    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}
}
%======= Бочвар ================================================================
@XData{bochvar, author = "Д. А. Бочвар", }
@article{bochvar1938,
    xdata = {bochvar},
    title = "{Об одном трёхзначном исчислении и его применении к анализу
    парадоксов классического расширенного функционального исчисления}",
    journal = "Матем. сб.",
    number = "4~(46)",
    pages = "287-308",
    year = "1938",
    keywords = {mainBibliography, addedByTranslator}
}
@article{bochvar1943,
    xdata = {bochvar},
    title = "{К вопросу о непротиворечивости одного трёхзначного исчисления}",
    journal = "Матем. сб.",
    number = "12~(54)",
    pages = "353-369",
    year = "1943",
    keywords = {mainBibliography, addedByTranslator}
}
@article{bochvar1944,
    xdata = {bochvar},
    title = "{К вопросу о парадоксах математической логики и теории множеств}",
    journal = "Матем. сб.",
    number = "15~(57)",
    pages = "369-384",
    year = "1944",
    keywords = {mainBibliography, addedByTranslator}
}
%======= Бурали-Форти ==========================================================
@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}
}
%======= Вандивер ==============================================================
@article{vandiver1946,
    author = "Вандивер", nameaddon = "(Vandiver~H.~S.)",
    title = "{Fermat's last theorem. Its history and the nature of the known
    results concerning it}",
    journal = "Amer. math. monthly",
    number = "53",
    pages = "555-578",
    year = "1946",
    keywords = {mainBibliography}
}
%======= Веблен ================================================================
% TODO: аддендум вынести в отдельную запись
@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}
}
%======= Гонсет ================================================================
@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}
}
%======= Дедекинд ==============================================================
@XData{dedekind, author = "Дедекинд", nameaddon = "(Dedekind Richard)", }
@book{dedekind1872,
    xdata = {dedekind},
    title = "{Stetigkeit und irrationale Zahlen}",
    pagetotal = "vii+326 pp.",
    year = "1927",
    pubstate = "1872",
    sortyear = "1872",
    edition = "5-е изд.",
    location = "Braunschweig",
    addendum = "Также в Dedekind Gesammelte mathematische Werke, vol. III,
    Braunschweig (Vieweg \& Sohn) 1932, p.315--334 \lbrack Русский перевод:
    {\sparseFnt Дедекинд Р.}, Непрерывность и иррациональные числа, Mathesis,
    Одесса, 1923.\rbrack",
    keywords = {mainBibliography}
}
@book{dedekind1888,
    xdata = {dedekind},
    title = "{Was sind und was sollen die Zahlen?}",
    location = "Braunschweig",
    edition = "6-ое изд.",
    year = "1930",
    pubstate = "1888",
    sortyear = "1888",
    addendum = "Также в Werke, vol. III, 335--391. Английский перевод Бимена
    (Beman), The nature and meaning of numbers, loc. cit., p. 31--105.",
    keywords = {mainBibliography}
}
%======= Диксон ================================================================
%% TODO: подумать над ibid
@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}
}
%======= Кантор ================================================================
@XData{cantor, author = "Кантор", nameaddon = "(Cantor Georg)", }
@article{cantor1874,
    xdata = {cantor},
    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-1897,
    xdata = {cantor},
    title = "{Beitr{\"a}ge zur Begr{\"u}ndung der transfiniten Mengenlehre}",
    journal = "Mathematische Annalen",
    number = "46~(1895)",
    pages = "481--512",
    year = "1895--1897",
    sortyear = "1895",
    addendum = "49~(1897), 207--246. Перепечатана в 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}
}
%======= Куайн =================================================================
@XData{quine, author = "Куайн", nameaddon = "(Quine Willard Van Orman)", }
@book{quine1940,
    xdata = {quine},
    title = "{Mathematical logic}",
    year = "1940",
    location = "New York",
    publisher = "Norton",
    pagetotal = "xiii+348 p.",
    addendum = "См.~Россер~\cite{rosser1942} и Куайн~\cite{quine1941} по поводу
    того обстоятельства, что в системе этой книги появляется парадокс
    Бурали-Форти (хотя, повидимому, не проходит парадокс Кантора), как это было
    обнаружено Россером и Линдоном (Roger C. Lyndon). Переработанное издание,
    Harvard University Press, 1951, xii+346 p.",
    keywords = {mainBibliography, starred}
}
% TODO: добавить "См. Чёрч и Куайн."
@article{quine1941,
    xdata = {quine},
    title = "{Element and number}",
    journal = "The Journal of Symbolic Logic",
    number = "6",
    pages = "135-149",
    year = "1941",
    keywords = {mainBibliography}
}
%======= Лангфорд ==============================================================
% TODO: добавить "См. Льюис и Лангфорд."
@article{langford1927,
    author = "Лангфорд", nameaddon = "(Langford Cooper Harold)",
    title = "{On inductive relations}",
    journal = "Bulletin of the American Mathematical Society",
    number = "33",
    pages = "599-607",
    year = "1927",
    keywords = {mainBibliography}
}
%======= Медведев ==============================================================
@article{medvedev1955,
    author = "Ю. Т. Медведев",
    title = "{Степени трудности массовых проблем}",
    journal = "Докл. АН СССР",
    number = "104,~\textnumero~5",
    pages = "501-504",
    year = "1955",
    keywords = {mainBibliography,addedByTranslator}
}
%======= Пеано =================================================================
@XData{peano, author = "Пеано", nameaddon = "(Peano Giuseppe)", }
@book{peano1889,
    xdata = {peano},
    title = "{Arithmetices principia, novo methodo exposita}",
    pagetotal = "XVI+20 p.",
    year = "1889",
    location = "Turin",
    publisher = "Bocca",
    keywords = {mainBibliography}
}
@article{peano1891,
    xdata = {peano},
    title = "{Sul concetto di numero}",
    journal = "Rivista di matematica",
    number = "1",
    pages = "87-102, 256-267",
    year = "1891",
    addendum = "Пеано формулирует свои аксиомы для целых положительных чисел.
    (Многие авторы называют их <<натуральными числами>>.)",
    keywords = {mainBibliography,starred}
}
@book{peano1894-1908,
    xdata = {peano},
    title = "{Formulaire de math{\'e}matiques}",
    year = "1894--1908",
    sortyear = "1908",
    location = "Turin",
    addendum = "Введение и пять томов. Под ред. Пеано. Написано им в
    сотрудничестве с Беттацци~(Rodolfo~Bettazzi),
    Бурали-Форти~(Cesare~Burali-Forti), Кастеллано~(F.~Castellano),
    Фано~(Gino~Fano), Джудиче~(Francesco~Giudice), Вайлати~(Giovanni~Vailati) и
    Виванти~(Guilio~Vivanti).",
    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}
}
%======= Пуанкаре ==============================================================
@XData{poincare, author = "Пуанкаре", nameaddon = "(Poincar{\'e} Henri)", }
@book{poincare1900,
    xdata = {poincare},
    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",
    pubstate = "1900",
    sortyear = "1900",
    keywords = {mainBibliography}
}
@book{poincare1902,
    xdata = {poincare},
    title = "{La science et l'hypoth{\`e}se}",
    location = "Paris",
    pagetotal = "284 p.",
    year = "1902",
    addendum = "Перевод на английский Хальстеда (Bruce Halsted) помещён на
    стр.~27--197 в H.~Poincar{\'e}, The foundations of science, New York, 1913;
    перепечатка, 1929. \lbrack Русский перевод:
    {\sparseFnt Пуанкаре А.}, Наука и гипотеза, с пред. Н.~А.~Умова, М., 1904,
    268 стр.\rbrack",
    keywords = {mainBibliography}
}
@article{poincare1905-1906,
    xdata = {poincare},
    labelyear = "1905--1906",
    sortyear="1905",
    title = "{Les math{\'e}matiques et la logique}",
    journal = "Revue de m{\'e}taphysique et de morale",
    number = "13~(1905)",
    pages = "815-835",
    year = "1905--1906",
    addendum = "14~(1906), 17--34, 294--317. Перепечатана в 1908 г. с
    существенными изменениями и добавлениями.",
    keywords = {mainBibliography}
}
@book{poincare1908,
    xdata = {poincare},
    title = "{Science et m{\'e}thode}",
    location = "Paris",
    pagetotal = "311 p.",
    year = "1908",
    addendum = "Перевод на английский Хальстеда (Bruce Halsted) помещён на
    стр.~359--546 H.~Poincar{\'e}, в The foundations of science, New York, 1913;
    перепечатка, 1929. \lbrack Русский перевод:
    {\sparseFnt Пуанкаре Г.}, Наука и метод, Mathesis, Одесса, 1910.\rbrack",
    keywords = {mainBibliography}
}
%======= Рамсей ================================================================
@article{ramsey1926,
    author = "Рамсей", nameaddon = "(Ramsey F. P.)",
    title = "{The foundations of mathematics}",
    journal = "Proceedings of the London Mathematical Society",
    series="2",
    number = "25",
    pages = "338-384",
    year = "1926",
    addendum = "Перепечатано на стр.~1--61 в F.~P.~Ramsey, The foundations of
    mathematics and other logical essays, ed. by R.~B.~Braithwaite, London
    (Kegan Paul, Trench, Trubner) and New York (Harcourt, Brace) 1931.
    Перепечатка этого издания London (Routledge and Kegan Paul) and New York
    (Humanities Press) 1950.",
    keywords = {mainBibliography}
}
%======= Рассел ================================================================
@XData{russell, author = "Рассел",
                nameaddon = "(Russell Bertrand) (Russell B. A. W.)", }
% TODO: уточнить название
@article{russell1902,
    xdata = {russell},
    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}
}
% TODO: разобраться с годом публикации
@book{russell1902-1903,
    xdata = {russell},
    year = "1902--1903",
    sortyear = "1903",
    addendum = "Парадокс Рассела встречается у Фреге~\cite{frege1903} в
    postscriptum'е (датированным Фреге октябрём 1902 г.), стр.~253--265. По
    поводу независимого открытия Цермело этого парадокса,
    см.~Цермело~\cite[стр.~119]{zermelo1908a}
    и~Гильберт~\cite[стр.~169]{hilbert1926}",
    keywords = {mainBibliography,starred}
}
@article{russell1906,
    xdata = {russell},
    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{russell1908,
    xdata = {russell},
    title = "{Mathematical logic as based on the theory of types}",
    journal = "Amer. journ. math.",
    number = "30",
    pages = "222-262",
    year = "1908",
    keywords = {mainBibliography}
}
% TODO: уточнить журнал
@article{russell1910,
    xdata = {russell},
    title = "{La th{\'e}ory des types logiques}",
    journal = "Revue de m{\'e}taphysique et de morale",
    number = "18",
    pages = "263-301",
    year = "1910",
    keywords = {mainBibliography}
}
% TODO: разобраться с годом и местом публикации и добавить "См. Уайтхед и Рассел."
@book{russell1919,
    xdata = {russell},
    title = "{Introduction to mathematical philosophy}",
    pagetotal = "VIII+208 p.",
    year = "1920",
    pubstate = "1919",
    sortyear = "1919",
    edition = "2nd ed.",
    origlocation = "London",
    origpublisher = "G. Allen and Unwin",
    location = "New York",
    publisher = "Macmillan",
    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}
}
%======= Рюстов ================================================================
@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{sierpinski1928,
    author = "Серпинский",
    nameaddon = "(Sierpinski W.)",
    title = "{Le{\c c}ons sur les nombres transfinis}",
    edition = "2-е изд.",
    location = "Paris",
    publisher = "Gauthier-Villars",
    pagetotal = "240",
    year = "1950",
    pubstate = "1928",
    sortyear = "1928",
    keywords = {mainBibliography,addedByTranslator}
}
%======= Уайлс =================================================================
% TODO: решить с обозначением этого добавления
@article{wiles1995,
    author = "Уайлс", nameaddon = "(Wiles, Andrew John)",
    title = "{Modular elliptic curves and Fermat's Last Theorem}",
    journal = "Annals of Mathematics",
    number = "141",
    pages = "443-551",
    year = "1995",
    keywords = {mainBibliography,addedByReTyper}
}
%======= Френкель ==============================================================
@XData{fraenkel, author = "Френкель", nameaddon = "(Fraenkel Adolf)", }
@article{fraenkel1922,
    xdata = {fraenkel},
    title = "{Der Bergriff <<definit>> und die Unabh{\"a}ngigkeit
    des Auswahlaxioms}",
    journal = "Sitzungsberichte der Preussischen Akademie der Wissenschaften,
    Physikalisch mathematische Klasse",
    year = "1922",
    pages = "253-257",
    keywords = {mainBibliography}
}
@article{fraenkel1925,
    xdata = {fraenkel},
    title = "{Untersuchungen {\"u}ber die Grundlagen der Mengenlehre}",
    journal = "Mathematische Zeitschrift",
    number = "22",
    year = "1925",
    pages = "250-273",
    keywords = {mainBibliography}
}
@book{fraenkel1928,
    xdata = {fraenkel},
    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{fraenkel1932,
    xdata = {fraenkel},
    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}
}
@book{fraenkel1952,
    xdata = {fraenkel},
    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}
}
%======= Хаусдорф ==============================================================
@XData{hausdorff, author = "Хаусдорф", nameaddon = "(Hausdorff Felix)", }
@book{hausdorff1914,
    xdata = {hausdorff},
    title = "{Grundz{\"u}ge der Mengenlehre}",
    location = "Leipzig",
    publisher = "Viet",
    year = "1914",
    pagetotal = "VIII+467 p.",
    keywords = {mainBibliography}
}
@book{hausdorff1927,
    xdata = {hausdorff},
    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}
}
%======= Цермело ===============================================================
@XData{zermelo, author = "Цермело", nameaddon = "(Zermelo Ernst)", }
@article{zermelo1904,
    xdata = {zermelo},
    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,
    xdata = {zermelo},
    title = "{Neuer Beweis f{\"u}r die M{\"o}glichkeit einer Wohlordnung}",
    journal = "ibid.",
    number = "65",
    pages = "107--128",
    pubstate = "1908a",
    year = "1908",
    sortyear="1908",
    keywords = {mainBibliography}
}
% TODO: ibid в Math. Ann. 59 или 65 уточнить
@article{zermelo1908,
    xdata = {zermelo},
    title = "{Untersuchungen {\"u}ber die Grundlagen der Mengenlehre I}",
    journal = "ibid.",
    pages = "261-281",
    year = "1908",
    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}
}
%%============================================================================%%











@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}
}

@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{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}
}

@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}
}
% TODO: разобраться с годом публикации
@book{hilbert1899,
    author = "Гильберт",
    nameaddon = "(Hilbert David)",
    title = "{Grundlagen der Geometrie}",
    pagetotal = "vii+326 pp.",
    year = "1930",
    pubstate = "1899",
    sortyear = "1899",
    edition = "7-е изд.",
    location = "Leipzig und Berlin",
    publisher = "Teubner",
    addendum = "[Русский перевод: {\sparseFnt Гильберт Д.}, Основания геометрии,
    ОГИЗ, М.---Л., 1948, 491 стр.]",
    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{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}
}

@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}
}
@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}
}

@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) с немецкого оригинала \lbrack 1927\rbrack.",
    keywords = {mainBibliography}
}
% TODO: разобраться с годом публикации
@book{skolem1929-1930,
    author = "Сколем",
    nameaddon = "(Skolem Thoralf)",
    title = "{{\"U}ber die Grundlagendiskussionen in der Mathematik. Den Syvende
    Skandinaviske Mathematikerkongress i Oslo 19--22 August 1929}",
    pages = "3-21",
    pubstate = "1929--1930",
    year = "1929",
    location = "Oslo",
    publisher = "Br\o{}ggers",
    keywords = {mainBibliography}
}
% TODO: разобраться с годом публикации
@book{skolem1922-1923,
    author = "Сколем",
    nameaddon = "(Skolem Thoralf)",
    title = "{Einige Bemerkungen zur axiomatischen Begr{\"u}nddung
    der Mengenlehre. Wissenschaftliche Vortr{\"a}ge gehalten auf dem
    F{\"u}nften Kongress der Skandinavischen Mathematiker in Helsingfors vom.~4.
    bis.~7. Juli 1922}",
    pages = "217-232",
    pubstate = "1922--23",
    year = "1922",
    location = "Helsingfors",
    keywords = {mainBibliography}
}
% TODO: разобраться с номером
@book{skolem1929,
    author = "Сколем",
    nameaddon = "(Skolem Thoralf)",
    title = "{{\"U}ber einige Grundlagenfragen der Mathematik. Skrifter utgitt
    av Det Norske Videnskaps-Akademi i Oslo, I. Mathematik-naturvidenskapelig
    klasse}",
    pagetotal = "No~4, 49 p.",
    year = "1929",
    keywords = {mainBibliography}
}
@article{neumann1925,
    author = "Нейман",
    nameaddon = "(Neumann, John von)",
    title = "{Eine Axiomatisierung der Mengenlehre}",
    journal = "Journal f{\"u}r die reine und angewandte Mathematik",
    number = "154",
    pages = "219-240",
    year = "1925",
    addendum = "Berichtigung, ibid., 155 (1926), 128.",
    keywords = {mainBibliography}
}
@article{bernays1937-1954,
    author = "Бернайс",
    nameaddon = "(Bernays Paul)",
    title = "{A system of axiomatic set theory}",
    journal = "The Journal of Symbolic Logic",
    number = "2",
    pages = "65-77",
    year = "1937",
    addendum = "6 (1941), 1--17; 7 (1942), 65--89 и 133--145; 8 (1943), 89--106;
    13 (1948), 65--79; 6 (1954)",
    keywords = {mainBibliography}
}
@article{novikov1951,
    author = "П. С. Новиков",
    title = "{О непротиворечивости некоторых положений дескриптивной теории
    множеств}",
    journal = "Труды матем. ин-та АН СССР",
    number = "38",
    pages = "279-316",
    year = "1951",
    keywords = {mainBibliography,addedByTranslator}
}
@article{goedel1938,
    author = "Гёдель",
    nameaddon = "(G{\"o}del Kurt)",
    title = "{The consistency of the axiom of choice and of the generalized
    continuum hypothesis}",
    journal = "Proceedings of the National Academy of Sciences",
    number = "24",
    pages = "556-557",
    year = "1938",
    addendum = "Полное доказательство изложено в~\cite{goedel1940}",
    keywords = {mainBibliography}
}

% TODO: разобраться с ibid
@article{goedel1939,
    author = "Гёдель",
    nameaddon = "(G{\"o}del Kurt)",
    title = "{Consistency proof for the generalized continuum hypothesis}",
    journal = "Proceedings of the National Academy of Sciences",
    number = "25",
    pages = "220-224",
    year = "1939",
    keywords = {mainBibliography}
}
@book{goedel1940,
    author = "Гёдель",
    nameaddon = "(G{\"o}del Kurt)",
    title = "{The consistency of the axiom of choice and of the generalized
    continuum hypothesis with the axioms of set theory. Лекции, читанные в
    Институте Высших Исследований (the Institute for Advanced Study) в
    1938--1939 гг., записки Брауна (George W. Brown)}",
    series = "Annals of Mathematics studies",
    number = "3",
    pagetotal = "66 p.",
    year = "1940",
    location = "Princeton",
    publisher = "Princeton University Press",
    addendum = "(В аксиоме A4 следует вставить <<$(u)$>> после
    <<$(\exists z)$>>.). Это сделано в русском переводе
    А.Маркова.~---~\textit{Прим. перев.} См. также
    пример~\ref{example:p74-13}~\textsection~\ref{sec:74-eliminability_of_descriptive_definitions}).
    Дополнительный тираж 1951, 74 p. \lbrack Русский перевод:
    {\sparseFnt Гёдель К.}, Совместимость аксиомы выбора и обобщённой
    континуум-гипотезы с аксиомами теории множеств, Успехи матем. наук, 3,
    \textnumero~1~(1948), 96--149.\rbrack",
    keywords = {mainBibliography}
}
@article{novikov1947,
    author = "П. С. Новиков",
    title = "{О логических парадоксах}",
    journal = "Докл. АН СССР",
    number = "56",
    pages = "451-453",
    year = "1947",
    keywords = {mainBibliography, addedByTranslator}
}
@book{weyl1918,
    author = "Вейль",
    nameaddon = "(Weyl Hermann)",
    title = "{Das Kontinuum. Kritische Untersuchungen {\"u}ber die Grundlagen
    der Analysis}",
    pagetotal = "iv+84 p.",
    year = "1918",
    location = "Leipzig",
    publisher = "Gruyter",
    addendum = "Перепечатано в 1932 г.",
    keywords = {mainBibliography}
}
@article{weyl1919,
    author = "Вейль",
    nameaddon = "(Weyl Hermann)",
    title = "{Der circulus vitiosus in der heutigen Begr{\"u}ndung der Analysis}",
    journal = "Jahresbericht der Deutschen Mathematiker-Vereinigung",
    number = "28",
    pages = "85-92",
    year = "1919",
    keywords = {mainBibliography}
}

%% Данного издания Лейбница нет ни в библиографии перевода, ни в библиографии
%% оригинала. Однако, и в оригинале и в переводе есть ссылка на это издание.
%% Поэтому для исправления ошибки и восстановления справедливости, стоит его
%% добавить.
@book{leibniz1666,
    author = "фон~Лейбниц",
    sortname = "Лейбниц",
    nameaddon = "(Leibniz, Gottfried Wilhelm von)",
    title = "{De Arte Combinatoria}",
    year = "1666",
    location = "Leipzig",
    keywords = {mainBibliography}
}

% TODO: сделать строчное примечание
@book{hilbert_and_ackerman1928,
    author = "Гильберт~и~Аккерман",
    nameaddon = "(Hilbert David {\unsparseFnt and} Ackermann Wilhelm)",
    title = "{Grundz{\"u}ge der theoretischen Logik}",
    pagetotal = "viii+120 pp.",
    year = "1928",
    location = "Berlin",
    publisher = "Springer",
    edition = "2nd ed.",
    addendum = "2-ое изд., 1938, viii+133 pp. Перепечатка: New York (Dover
    Publications) 1946, 3-ое изд., Berlin, G{\"o}ttingen, Heidelberg (Springer)
    1949, viii+155 pp. \lbrack Русский перевод со второго издания: {\sparseFnt
    Гильберт и Аккерман}, Основы теоретической логики, ИЛ, М., 1947, 302
    стр.\rbrack",
    keywords = {mainBibliography}
}
@book{whitehead_and_russell1910-1913,
    author = "Уайтхед~и~Рассел",
    nameaddon = "(Whitehead Alfred {\unsparseFnt and} Russell Bertrand)",
    title = "{Principia mathematica}",
    year = "1910--1913",
    location = "Cambridge, England",
    publisher = "University Press",
    addendum = "Vol.~1, 1910, XV+666~p., (2-nd~ed.~1925), Vol.~2, 1912,
    XXIV+772~p., (2-nd~ed.~1927), Vol.~3, 1913, X+491~p. (2-nd~ed.~1927).",
    keywords = {mainBibliography}
}
@article{carnap1931-1932,
    author = "Карнап", nameaddon = "(Carnap Rudolf)",
    title = "{Die logizistische Grundlegung der Mathematik}",
    journal = "Erkenntnis",
    number = "2",
    year = "1931--1932",
    sortyear = "1931",
    pages = "91-105",
    keywords = {mainBibliography}
}
@article{weyl1946,
    author = "Вейль",
    nameaddon = "(Weyl Hermann)",
    title = "{Mathematics and logic. A brief survey serving as a preface to a
    review of <<The philosophy of Bertrand Russell>>}",
    journal = "American mathematical monthly",
    number = "53",
    pages = "2-13",
    year = "1946",
    keywords = {mainBibliography}
}
@article{rosser1942,
    author = "Россер",
    nameaddon="(Rosser Barkley){\unsparseFnt\ (Rosser J. B.; Rosser J. Barkley)}",
    title = "{The Burali-Forti paradox}",
    journal = "The Journal of Symbolic Logic",
    number = "7",
    pages = "1-17",
    year = "1942",
    keywords = {mainBibliography}
}
@book{goedel1944,
    author = "Гёдель",
    nameaddon = "(G{\"o}del Kurt)",
    title = "{Russell's mathematical logic. The philosophy of Bertrand
    Russell}",
    editor = "Paul Arthur Schlipp",
    year = "1944",
    location = "Northwestern University",
    publisher = "Evanston and Chicago",
    pages = "123-153",
    keywords = {mainBibliography}
}
@article{brouwer1908,
    author = "Брауэр",
    nameaddon="(Brouwer~L.~E.~J.)",
    title = "{De onbetrouwbaarheid der logische principes
    (Недостоверность принципов логики)}",
    journal = "Tijdschrift voor wijsbegeerte",
    number = "2",
    pages = "152-158",
    year = "1908",
    addendum = "Перепечатано в
    L.~E.~J.~Brouwer, Wiskunde, waarheid, werkeiilkheid,
    Groningen (P.~Noordhoff), 1919, 12 p.",
    keywords = {mainBibliography}
}
@article{novikov1939,
    author = "П. С. Новиков",
    title = "{О некоторых теоремах сущестования}",
    journal = "Докл. АН СССР",
    number = "23",
    pages = "438-440",
    year = "1939",
    keywords = {mainBibliography,addedByTranslator}
}
@article{novikov1943,
    author = "П. С. Новиков",
    title = "{On the consistency of certain logical calculus}",
    journal = "Матем. сб.",
    number = "12 (54)",
    pages = "231-261",
    year = "1943",
    keywords = {mainBibliography,addedByTranslator}
}
@article{kolmogorov1932,
    author = "А. Н. Колмогоров",
    title = "{Zur Deutung der intuitionistischen Logik}",
    journal = "Math. Zeits.",
    number = "35",
    pages = "58-65",
    year = "1932",
    keywords = {mainBibliography,addedByTranslator}
}
@article{shanin1953,
    author = "Н. А. Шанин",
    title = "{О некоторых операциях над логико-арифметическими формулами}",
    journal = "Докл. АН СССР",
    number = "93,~\textnumero~5",
    pages = "779-782",
    year = "1953",
    keywords = {mainBibliography,addedByTranslator}
}

% TODO: разобраться с отображением страниц и вообще уточнить это общее число
% или просто страница
@article{shanin1955,
    author = "Н. А. Шанин",
    title = "{О некоторых логических проблемах арифметики}",
    journal = "Труды матем. ин-та АН СССР",
    number = "43",
    pagetotal = "111",
    year = "1955",
    keywords = {mainBibliography,addedByTranslator}
}
@book{heyting1934,
    author = "Гейтинг", nameaddon = "(Heyting Arend)",
    title = "{Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie.
    Ergebnisse der Mathematik und ihrer Grenzgebiete}",
    volume = "3",
    number = "4",
    pagetotal = "iv+73 p.",
    year = "1934",
    location = "Berlin",
    publisher = "Springer",
    addendum = "\\* Ошибка: Теорема Гёделя~\cite{goedel1932-1933} не имеет места
    для исчисления предикатов, как утверждает Гейтинг на стр.~18.
    См.~выше~\textsection~\ref{sec:81-reduction_of_classical_to_intuitionistic_systems},
    замечание~\ref{remark:p81-1}.\\*
    \lbrack Русский перевод: {\sparseFnt Гейтинг А.}, Обзор исследований по
    основаниям математики, М.---Л., 1936.\rbrack",
    keywords = {mainBibliography}
}
@article{goedel1932-1933,
    author = "Гёдель",
    nameaddon = "(G{\"o}del Kurt)",
    title = "{Zur intuitionistischen Arithmetik und Zahlentheorie}",
    journal = "Ergebnisse eines math. Koll.",
    number = "Heft~4 (за 1931--1932, вышла из печати в 1933)",
    pages = "34-38",
    year = "1933",
    pubstate = "1932--1933",
    sortyear = "1933",
    keywords = {mainBibliography}
}
@book{bernays1935a,
    author = "Бернайс",
    nameaddon = "(Bernays Paul)",
    title = "{Hilberts Untersuchungen {\"u}ber die Grundlagen der Arithmetik.
    David Hilbert Gesammelte Abhandlungen}",
    volume = "3",
    location = "Berlin",
    pages = "196-216",
    year = "1935",
    pubstate = "1935a",
    sortyear = "1935",
    keywords = {mainBibliography}
}

% TODO: возможно стои скорректировать inproceedings
% и оформить запись с воответсвущем блоке? тем более что это не единственный
% случай inproceedings
@article{hilbert1904,
    author = "Гильберт",
    nameaddon = "(Hilbert David)",
    title = "{{\"U}ber die Grundlagen der Logik und der Arithmetik}",
    journal = "Verhandlungen des Dritten Internationalen
    Mathematiker-Kongresses in Heidelberg vom.~3 bis.~13. August 1904",
    pages = "175-185",
    year = "1905",
    pubstate = "1904",
    sortyear = "1904",
    location = "Leipzig",
    addendum = "Перепечатана в Loc. cit.,p.~247--261 (стр.322--337 русского
    перевода).",
    keywords = {mainBibliography}
}
@article{weyl1944,
    author = "Вейль",
    nameaddon = "(Weyl Hermann)",
    title = "{David Hilbert and his mathematical work}",
    journal = "Bull. Amer. Math. Soc.",
    number = "50",
    pages = "612-654",
    year = "1944",
    keywords = {mainBibliography}
}