diff options
author | Karl Berry <karl@freefriends.org> | 2013-07-18 23:29:16 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2013-07-18 23:29:16 +0000 |
commit | 549f87a2032890440c9d3fc9faa568628588e2b3 (patch) | |
tree | a3f51974b1e68ac611e7a047d82c369e5ad8a64e /Master/texmf-dist/doc/latex/biblatex-gost/biblatex-gost-examples.bib | |
parent | 16369bdd3c6726591b6196400880febbfb529a2e (diff) |
biblatex-gost (18jul13)
git-svn-id: svn://tug.org/texlive/trunk@31233 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/biblatex-gost/biblatex-gost-examples.bib')
-rw-r--r-- | Master/texmf-dist/doc/latex/biblatex-gost/biblatex-gost-examples.bib | 772 |
1 files changed, 600 insertions, 172 deletions
diff --git a/Master/texmf-dist/doc/latex/biblatex-gost/biblatex-gost-examples.bib b/Master/texmf-dist/doc/latex/biblatex-gost/biblatex-gost-examples.bib index b5d37c6a787..3614ca31961 100644 --- a/Master/texmf-dist/doc/latex/biblatex-gost/biblatex-gost-examples.bib +++ b/Master/texmf-dist/doc/latex/biblatex-gost/biblatex-gost-examples.bib @@ -940,7 +940,7 @@ origlanguage = {german}, language = {russian}, hyphenation = {russian}, - optseries = {Философские технологии}, + series = {Философские технологии}, } @MVBOOK{husserl:ideen, ids = {husserl_ideen}, @@ -953,7 +953,7 @@ origlanguage = {german}, language = {russian}, hyphenation = {russian}, - optseries = {Философские технологии}, + series = {Философские технологии}, } @INBOOK{austin:chs, ids = {austin_chs}, @@ -1049,7 +1049,7 @@ ids = {saussure_kol}, author = {Соссюр, Фердинанд де}, editor = {Р. И. Шор}, - commentary = {Р. И. Шор}, + commentator = {Р. И. Шор}, title = {Курс общей лингвистики}, location = {М.}, publisher = {Едиториал УРСС}, @@ -1097,7 +1097,8 @@ title = {Autour de Logiques des mondes d'Alain Badiou}, editor = {Rabouin, D. and Feltham, O. and Lincoln, L.}, isbn = {9782813000248}, - url = {http://books.google.ru/books?id=yJfh4V-iLskC}, + eprint = {yJfh4V-iLskC}, + eprinttype = {googlebooks}, year = {2011}, pagetotal = {182}, location = {Paris}, @@ -1542,7 +1543,7 @@ language = {english}, hyphenation = {english}, related = {quine:dde}, - relatedtype = {translationas}, + relatedtype = {bytranslator}, } @INCOLLECTION{ayer:yail, @@ -1607,7 +1608,6 @@ location = {М.}, publisher = {Гнозис}, year = {1994}, - pagetotal = {612}, series = {Феноменология, Герменевтика, Философия языка}, translator = {М. С. Козловой and Ю. А. Асеева}, origlanguage = {german}, @@ -1799,7 +1799,8 @@ @COLLECTION{af-sr, editor = {Грязнова, А. Ф.}, editortype = {geneditor}, - compiler = {Грязнова, А. Ф.}, + editora = {Грязнова, А. Ф.}, + editoratype = {compiler}, introduction = {Грязнова, А. Ф.}, title = {Аналитическая философия}, subtitle = {Становление и развитие (антолоrия)}, @@ -1823,7 +1824,8 @@ origlanguage = {english}, translator = {И. В. Борисовой and А. Л. Золкина and А. А. Яковлева}, introduction = {А. Ф. Грязнова}, - compiler = {А. Ф. Грязнова}, + editor = {А. Ф. Грязнова}, + editortype = {compiler}, commentator = {А. Ф. Грязнова}, language = {russian}, hyphenation = {russian}, @@ -2215,7 +2217,7 @@ title = {Reading Seminar XI}, subtitle = {Lacan's Four Fundamental Concepts of Psychoanalysis: Including the First English Translation of ``Position of the Unconscious'' by Jacques Lacan}, editor = {Richard Feldstein and Bruce Fink and Maire Jaanus}, - serieseditor = {Henry Sussman}, + _serieseditor= {Henry Sussman}, series = {SUNY Series in Psychoanalysis and Culture}, publisher = {State University of New York Press}, language = {english}, @@ -2264,7 +2266,6 @@ year = {2008}, isbn = {9780791472446}, pagetotal = {208}, - timestamp = {2012.03.16}, language = {english}, hyphenation = {english}, } @@ -2429,16 +2430,6 @@ hyphenation = {english}, } -@INPROCEEDINGS{kripke:sail, - ids = {kripke_sail}, - author = {Kripke, Saul}, - title = {Semantical Analysis of Intuitionistic Logic I}, - language = {english}, - pages = {92--129}, - crossref = {fsrf40}, - hyphenation = {english}, -} - @INBOOK{lacan:ks, ids = {lacan_ks}, author = {Lacan, Jacques}, @@ -2644,17 +2635,6 @@ hyphenation = {russian}, } -@INCOLLECTION{kasler:otm, - ids = {kasler_otm}, - author = {Кейслер, Х. Джером}, - title = {Основы теории моделей}, - pages = {55-108}, - language = {russian}, - origlanguage = {english}, - crossref = {skml1}, - hyphenation = {russian}, -} - @INBOOK{lacan:ibb, ids = {lacan_ibb}, author = {Лакан, Жак}, @@ -3053,18 +3033,6 @@ hyphenation = {german}, } -@BOOK{brouwer:cw2, - ids = {brouwer_cw2}, - editor = {Hans Freudenthal}, - year = {1976}, - volume = {2}, - subtitle = {Geometry, analysis, topology and mechanics}, - language = {English, German, Dutch, French}, - pagetotal = {xxvii, 706}, - crossref = {brouwer:cw}, - hyphenation = {english}, -} - @BOOK{heidegger:g9wegmarken, ids = {heidegger_g9wegmarken}, editor = {F.-W. von Herrmann}, @@ -3298,6 +3266,7 @@ ids = {leibniz_s4}, year = {1989}, volume = {4}, + number = {Т.\,109}, origlanguage = {french}, pagetotal = {554}, crossref = {leibniz:soch}, @@ -3344,6 +3313,7 @@ ids = {leibniz_s3}, year = {1984}, volume = {3}, + number = {Т.\,92}, origlanguage = {french}, pagetotal = {734}, crossref = {leibniz:soch}, @@ -3354,6 +3324,7 @@ ids = {leibniz_s2}, year = {1983}, volume = {2}, + number = {Т.\,87}, origlanguage = {french}, pagetotal = {686}, crossref = {leibniz:soch}, @@ -3364,30 +3335,13 @@ ids = {leibniz_s1}, year = {1982}, volume = {1}, + number = {Т.\,84}, origlanguage = {french}, pagetotal = {636}, crossref = {leibniz:soch}, hyphenation = {russian}, } -@COLLECTION{skml1, - title = {Теория моделей}, - year = {1982}, - part = {1}, - pagetotal = {392}, - crossref = {skml}, - hyphenation = {russian}, -} - -@COLLECTION{skml2, - title = {Теория множеств}, - year = {1982}, - part = {2}, - pagetotal = {376}, - crossref = {skml}, - hyphenation = {russian}, -} - @BOOK{hegel:efn1, ids = {hegel_efn-1}, title = {Наука логики}, @@ -3703,6 +3657,7 @@ language = {english}, hyphenation = {english}, } + @COLLECTION{abkc, editor = {A. J. Bartlett and Justin Clemens}, introduction = {A. J. Bartlett and Justin Clemens}, @@ -3717,6 +3672,7 @@ isbn = {978-1-84465-229-7}, pagetotal = {207}, } + @BOOK{freud:op, ids = {freud_op}, author = {Freud, Sigmund}, @@ -3957,6 +3913,7 @@ language = {english}, hyphenation = {english}, } + @BOOK{lacan:ecrits, ids = {lacan_ecrits}, author = {Lacan, Jacques}, @@ -4028,18 +3985,6 @@ shorttitle = {Les philosophies de la différence}, } -@BOOK{lawvere-rosebrugh:sm, - ids = {lawvere_rosebrugh_sm}, - author = {Lawvere, F. W. and Rosebrugh, Robert}, - title = {Sets for mathematics}, - year = {2003}, - language = {english}, - publisher = {Cambridge University Press}, - isbn = {9780521010603}, - pagetotal = {280}, - hyphenation = {english}, -} - @BOOK{levinas:en, ids = {levinas_en}, author = {Levinas, Emmanuel}, @@ -4303,23 +4248,6 @@ journal = {Angelaki: Journal of the Theoretical Humanities}, } -@BOOK{troelstra:pi, - ids = {troelstra_pi}, - author = {Anne S. Troelstra}, - title = {Principles of Intuitionism}, - year = {1969}, - number = {95}, - series = {Lecture Notes in Mathematics}, - subtitle = {Lectures Presented at the Summer Conference on Intuitionism and Proof - Theory (1968) at Suny at Buffalo, NY}, - language = {english}, - publisher = {Springer-Verlag}, - location = {Heidelberg}, - isbn = {3540046143}, - pagetotal = {111}, - hyphenation = {english}, - serieseditor = {A. Dold, Heidelberg and B. Eckmann, Zürich}, -} @BOOK{vanier:lacan, ids = {vanier_lacan}, @@ -4333,18 +4261,6 @@ hyphenation = {french}, } -@BOOK{vopenka:mast, - ids = {vopenka_mast}, - author = {Vopěnka, Petr}, - title = {Mathematics in the alternative set theory}, - year = {1979}, - edition = {1}, - language = {english}, - publisher = {B. G. Teubner}, - location = {Leipzig}, - hyphenation = {english}, -} - @BOOK{wyschogrod:el, ids = {wyschogrod_el}, author = {Wyschogrod, E.}, @@ -4528,20 +4444,6 @@ hyphenation = {russian}, } -@BOOK{vopenka:atm, - ids = {vopenka_atm}, - author = {Вопенка, Пётр}, - title = {Альтернативная теория множеств}, - year = {2004}, - subtitle = {Новый взгляд на бесконечность}, - language = {russian}, - publisher = {Институт математики}, - location = {Новосибирск}, - isbn = {5-86134-124-9}, - pagetotal = {612}, - hyphenation = {russian}, - shorttitle = {Альтернативная теория множеств}, -} @BOOK{gadamer:ap, ids = {gadamer_ap}, @@ -4778,18 +4680,6 @@ hyphenation = {russian}, } -@BOOK{cohen:tm-ru, - ids = {cohen_tm-ru}, - author = {Коэн, Пол}, - title = {Теория множеств и континуум-гипотеза}, - year = {1969}, - language = {russian}, - origlanguage = {english}, - translator = {А. С. Есенина-Вольпина}, - location = {М.}, - publisher = {Мир}, - hyphenation = {russian}, -} @BOOK{lacan:s10r, ids = {lacan_s10r}, @@ -4967,7 +4857,6 @@ volumes = {4}, origlanguage = {french}, series = {Философское наследие}, - number = {Т.\,108}, location = {М.}, hyphenation = {russian}, } @@ -5125,17 +5014,6 @@ hyphenation = {russian}, } -@BOOK{frenkel-bar-hillel:otm, - ids = {frenkel_bar-hillel_otm}, - author = {Френкель, А.А. and Бар-Хиллел, И.}, - title = {Основания теории множеств}, - year = {1966}, - language = {russian}, - publisher = {Мир}, - location = {М.}, - pagetotal = {556}, - hyphenation = {russian}, -} @BOOK{heidegger:rpd, ids = {heidegger_rpd}, @@ -5306,20 +5184,6 @@ hyphenation = {english}, } -@PROCEEDINGS{fsrf40, - editor = {J. N. Crossley and M. A. E. Dummett}, - title = {Formal Systems and Recursive Functions}, - year = {1963}, - eventtitle = {Eighth Logic Colloquium}, - eventdate = {1963-07}, - venue = {Oxford}, - language = {english}, - publisher = {North Holland Publishing Co.}, - location = {Amsterdam}, - _title = {Formal Systems and Recursive Functions (Proceedings of the Eighth - Logic Colloquium at Oxford, July, 1963)}, - hyphenation = {english}, -} @COLLECTION{ll-me, editor = {Harasym, Sarah}, @@ -5373,19 +5237,6 @@ hyphenation = {english}, } -@MVCOLLECTION{skml, - editor = {Дж. Барвайса}, - title = {Справочная книга по математической логике}, - date = {1982/1983}, - language = {russian}, - origlanguage = {english}, - publisher = {Наука. Главная редакция физико-математической литературы}, - location = {М.}, - hyphenation = {russian}, - parts = {4}, - shorttitle = {Справочная книга~\textellipsis\isdot}, -} - @COLLECTION{it, title = {Интенциональность и текстуальность}, year = {1998}, @@ -5485,7 +5336,7 @@ } @COLLECTION{ss, title = {Сущность и слово}, - subtitle = {Сб. научн. ст. к юбилею проф. Н. В. Мотрошиловой}, + subtitle = {Сб. науч. ст. к юбилею проф. Н. В. Мотрошиловой}, credits = {Отв. ред.: М. А. Солопова, М. Ф. Быкова}, year = {2009}, publisher = {Феноменология-герменевтика}, @@ -5508,8 +5359,26 @@ origlanguage = {french}, language = {english}, hyphenation = {english}, - _related = {Anti-Badiou: Sur l'introduction du maoisme dans la philosophie, Editions Kime, 2011}, + related = {laruelle:ab-fr}, + relatedtype = {translationof}, +} + +@BOOK{laruelle:ab-fr, + title = {Anti-Badiou}, + subtitle = {Sur l'introduction du maoisme dans la philosophie}, + author = {Laruelle, François}, + _isbn = {}, + _lccn = {}, + year = {2011}, + publisher = {Kime}, + location = {Paris}, + _pagetotal = {}, + language = {french}, + hyphenation = {french}, + related = {laruelle:ab}, + relatedtype = {bytranslator}, } + @BOOK{badiou:tw, title = {Theoretical Writings}, author = {Badiou, Alain}, @@ -5532,6 +5401,366 @@ pages = {99-104}, } +@BOOK{lewis:convention2002, + title = {Convention}, + subtitle = {A Philosophical Study}, + isbn = {0631232575}, + shorttitle = {Convention}, + pagetotal = {228}, + publisher = {Wiley-Blackwell}, + author = {Lewis, David}, + foreword = {W. V. Quine}, + year = {2002}, + origyear = {1969}, + language = {english}, + hyphenation = {english}, +} + +@ARTICLE{nirenberg_nirenberg:bn, + author = {Ricardo L. Nirenberg and David Nirenberg}, + title = {Badiou's Number}, + subtitle = {A Critique of Mathematics as Ontology}, + year = {2011}, + journaltitle = {Critical Inquiry}, + language = {english}, + hyphenation = {english}, + volume = {37}, + number = {4}, + issue = {Summer}, + pages = {583-614}, + eprint = {10.1086/660983}, + eprinttype = {jstor}, + _url = {http://www.jstor.org/stable/10.1086/660983}, + _urldate = {2012-08-27}, +} + +@COLLECTION{so4, + title = {Современная онтология-IV}, + subtitle = {проблемы метода : материалы международной научной конференции (Санкт-Петербург, 28-30 июня 2010 г.)}, + editor = {Колычева, П. М.}, + location = {СПб.}, + publisher = {СПбГУИТМО}, + year = {2010}, + pagetotal = {168}, + isbn = {9785757703527}, + eprint = {ncSYkgEACAAJ}, + eprinttype = {googlebooks}, + language = {russian}, + hyphenation = {russian}, +} + +@COLLECTION{monokl10, + title = {Monokl 10}, + subtitle = {Jean-Luc Nancy ile Karşılaşmalar}, + year = {2011}, + location = {Istanbul}, + language = {english}, + hyphenation = {english}, +} + +@BOOK{trubetzkoy:of, + title = {Основы фонологии}, + author = {Николай Сергеевич Трубецкой}, + editor = {Кацнельсона, С.Д.}, + translator = {Холодовича, А.А.}, + isbn = {9785382010618}, + series = {Классический учебник}, + year = {2000}, + origyear = {1939, 1960 (рус. пер.)}, + origlanguage = {german}, + publisher = {Аспект Пресс}, + location = {М.}, + pagetotal = {352}, + isbn = {5-7567-0250-4}, + language = {russian}, + hyphenation = {russian}, +} + +@ARTICLE{veilahti:abm, + author = {Antti Veilahti}, + title = {Alain Badiou's Mistake --- Two Postulates of Dialectic Materialism}, + shorttitle = {Alain Badiou's Mistake}, + date = {2013-01-10}, + eprinttype = {arXiv}, + eprint = {1301.1203v2}, + eprintclass = {math.CT}, + language = {english}, + hyphenation = {english}, + pagetotal = {41+1}, + annotation = {To accompany recent openings in category theory and + philosophy, I discuss how Alain Badiou attempts to rephrase his dialectic + philosophy in topos-theoretic terms. Topos theory bridges the problems + emerging in set-theoretic language by a categorical approach that + reinscribes set-theoretic language in a categorical framework. Badiou's own + topos-theoretic formalism, however, turns out to be confined only to a + limited, set-theoretically bounded branch of locales. This results with his + mathematically reduced understanding of the 'postulate of materialism' + constitutive to his account. Badiou falsely assumes this postulate to be + singular whereas topos theory reveals its two-sided nature whose synthesis + emerges only as a result of a (quasi-)split structure of truth. Badiou thus + struggles with his own mathematical argument. I accomplish a correct + version of his proof the sets defined over such a 'transcendental algebra' + T form a (local) topos. Finally, I discuss the philosophical implications + Badiou's mathematical inadequacies entail.}, +} +@MVBOOK{dosse:hs, + author = {Dosse, François}, + title = {History of Structuralism}, + language = {english}, + hyphenation = {english}, + publisher = {University of Minnesota Press}, + location = {Minneapolis}, +} + +@BOOK{dosse:hs1, + crossref = {dosse:hs}, + author = {Dosse, François}, + volume = {1}, + title = {The Rising Sign, 1945-1966}, + isbn = {0816622418}, + origlanguage = {french}, + translator = {Deborah Glassman}, + language = {english}, + hyphenation = {english}, + pagetotal = {500}, + date = {1997}, + annotation = {Structuralism has had a profound impact on disciplines ranging from + literary theory to sociology, from history to psychoanalysis. + Francois Dosse tells the story of structuralism's beginnings in + postwar Paris to its culmination as a movement that would reconfigure + French intellectual life and reverberate throughout the Western world. + This essential guide is a cogent map of the dizzying array of + personalities and ideas involved in the movement.}, +} + +@BOOK{dosse:hs2, + crossref = {dosse:hs}, + author = {Dosse, François}, + volume = {2}, + title = {The Sign Sets, 1967 - Present}, + isbn = {0816623708}, + origlanguage = {french}, + translator = {Deborah Glassman}, + language = {english}, + hyphenation = {english}, + pagetotal = {554}, + date = {1997}, + annotation = {The first comprehensive history of one of the most + influential intellectual movements of the twentieth century.Claude + Levi-Strauss, Roland Barthes, Jacques Lacan, Louis Althusser, Jacques + Derrida, and Michel Foucault -- the ideas of this group of French + intellectuals who propounded structuralism and poststructuralism have had a + profound impact on disciplines ranging from literary theory to sociology, + from anthropology to philosophy, from history to psychoanalysis. In this + long-awaited translation, History of Structuralism examines the thinkers + who made up the movement, providing a fascinating elucidation of a central + aspect of postwar intellectual history.Francois Dosse tells the stow of + structuralism from its beginnings in postwar Paris, a city dominated by the + towering figure of Jean-Paul Sartre. The work of Saussure became the point + of departure for a group of younger scholars, and the outcome was not only + the doom of Sartre as intellectual leader but the birth of a movement that + would come to reconfigure French intellectual life and would eventually + reverberate throughout the Western world.Dosse provides a readable, + intelligible overall account, one that shows the interrelationship among + the central currents of structuralism and situates them in context. Dosse + illuminates the way developments in what are usually distinct fields came + to exert such influence on each other, showing how the early structuralists + paved the way for later developments and for recent discourses such as + postmodernism. The cast of characters related by Dosse includes those + mentioned above as well as Roman Jakobson, Julia Kristeva, Pierre Bourdieu, + Gilles Deleuze, Felix Guattari, Tzvetan Todorov, andmany others. Chapters + are devoted to major figures, and Dosse has done extensive interviews with + the major and minor figures of the movement, furnishing an intellectual + history in which historical players look back at the period.This first + comprehensive history of the structuralist movement is an essential guide + to a major moment in the development of twentieth-century thought, one that + provides a cogent map to a dizzying array of personalities and their ideas. + It will be compelling reading for those interested in philosophy, literary + theory, sociology, anthropology, linguistics, and + psychoanalysis."Excellent.... Dosse reminds us that not only was + structuralism an intellectual event of the sixties, it was also the + cultural coup d'etat that both put an end to the reign of Sartre and + existentialism and inaugurated the rise of the humanities". Le + Figaro"Dosse's work is exceptional in its pursuit of an honest and relevant + archaeology that not only clarifies the past but offers lessons for the + future". Liberation.}, +} +@INCOLLECTION{meillassoux:die, + crossref = {alm}, + AUTHOR = {Quentin Meillassoux}, + TITLE = {Décision et indécidabilité de l'événement dans + \emph{L'Être et l'événement I} et \emph{II}}, + YEAR = {2011}, + pages = {121-142}, + language = {french}, + hyphenation = {french}, +} + +@BOOK{kromer:to, + title = {Tool and Object}, + subtitle = {A History and Philosophy of Category Theory}, + author = {Kr{\"o}mer, R.}, + isbn = {9783764375249}, + lccn = {2007920230}, + series = {Science Networks. Historical Studies, 32}, + eprinttype = {googlebook}, + eprint = {nVVsp3\_Jw0sC}, + year = {2007}, + publisher = {Birkh{\"a}user}, + location = {Basel and Boston and Berlin}, + language = {english}, + hyphenation = {english}, +} + +@INCOLLECTION{kasler:otm, + ids = {kasler_otm}, + author = {Кейслер, Х. Джером}, + title = {Основы теории моделей}, + pages = {55-108}, + language = {russian}, + origlanguage = {english}, + crossref = {skml1}, + hyphenation = {russian}, +} + +@INCOLLECTION{kock-reyes:dcl, + author = {Кок, А. and Рейес, Г. Э.}, + title = {Доктрины в категорной логике}, + pages = {289-319}, + language = {russian}, + origlanguage = {english}, + crossref = {skml1}, + hyphenation = {russian}, +} + +@COLLECTION{skml1, + title = {Теория моделей}, + year = {1982}, + part = {1}, + pagetotal = {392}, + crossref = {skml}, + hyphenation = {russian}, +} + +@COLLECTION{skml2, + title = {Теория множеств}, + year = {1982}, + part = {2}, + pagetotal = {376}, + crossref = {skml}, + hyphenation = {russian}, +} + +@BOOK{lawvere-rosebrugh:sm, + ids = {lawvere_rosebrugh_sm}, + author = {Lawvere, F. W. and Rosebrugh, Robert}, + title = {Sets for mathematics}, + year = {2003}, + language = {english}, + publisher = {Cambridge University Press}, + isbn = {9780521010603}, + pagetotal = {280}, + hyphenation = {english}, +} + +@BOOK{troelstra:pi, + ids = {troelstra_pi}, + author = {Anne S. Troelstra}, + title = {Principles of Intuitionism}, + year = {1969}, + number = {95}, + series = {Lecture Notes in Mathematics}, + subtitle = {Lectures Presented at the Summer Conference on Intuitionism and Proof + Theory (1968) at Suny at Buffalo, NY}, + language = {english}, + publisher = {Springer-Verlag}, + location = {Heidelberg}, + isbn = {3540046143}, + pagetotal = {111}, + hyphenation = {english}, + serieseditor = {A. Dold, Heidelberg and B. Eckmann, Zürich}, +} + +@BOOK{vopenka:mast, + ids = {vopenka_mast}, + author = {Vopěnka, Petr}, + title = {Mathematics in the alternative set theory}, + year = {1979}, + edition = {1}, + language = {english}, + publisher = {B. G. Teubner}, + location = {Leipzig}, + hyphenation = {english}, +} + +@BOOK{vopenka:atm, + ids = {vopenka_atm}, + author = {Вопенка, Пётр}, + title = {Альтернативная теория множеств}, + year = {2004}, + subtitle = {Новый взгляд на бесконечность}, + language = {russian}, + publisher = {Институт математики}, + location = {Новосибирск}, + isbn = {5-86134-124-9}, + pagetotal = {612}, + hyphenation = {russian}, + shorttitle = {Альтернативная теория множеств}, +} + +@BOOK{cohen:tm-ru, + ids = {cohen_tm-ru}, + author = {Коэн, Пол}, + title = {Теория множеств и континуум-гипотеза}, + year = {1969}, + language = {russian}, + origlanguage = {english}, + translator = {А. С. Есенина-Вольпина}, + location = {М.}, + publisher = {Мир}, + hyphenation = {russian}, +} + +@BOOK{frenkel-bar-hillel:otm, + ids = {frenkel_bar-hillel_otm}, + author = {Френкель, А. А. and Бар-Хиллел, И.}, + title = {Основания теории множеств}, + year = {1966}, + language = {russian}, + publisher = {Мир}, + location = {М.}, + pagetotal = {556}, + hyphenation = {russian}, +} + +@PROCEEDINGS{fsrf40, + editor = {J. N. Crossley and M. A. E. Dummett}, + title = {Formal Systems and Recursive Functions}, + year = {1963}, + eventtitle = {Eighth Logic Colloquium}, + eventdate = {1963-07}, + venue = {Oxford}, + language = {english}, + publisher = {North Holland Publishing Co.}, + location = {Amsterdam}, + _title = {Formal Systems and Recursive Functions (Proceedings of the Eighth + Logic Colloquium at Oxford, July, 1963)}, + hyphenation = {english}, +} + +@MVCOLLECTION{skml, + editor = {Дж. Барвайса}, + title = {Справочная книга по математической логике}, + date = {1982/1983}, + language = {russian}, + origlanguage = {english}, + publisher = {Наука. Главная редакция физико-математической литературы}, + location = {М.}, + hyphenation = {russian}, + parts = {4}, + shorttitle = {Справочная книга~\textellipsis\isdot}, +} + @BOOK{kunen:st, author = {Kenneth Kunen}, title = {Set Theory}, @@ -5546,6 +5775,7 @@ hyphenation = {english}, annote = {bibliography: Bibliography: p. 305-308. Includes indexes.}, } + @INPROCEEDINGS{shoenfield:uf, crossref = {ast1}, author = {J. R. Shoenfield}, @@ -5554,6 +5784,7 @@ language = {english}, hyphenation = {english}, } + @PROCEEDINGS{ast1, crossref = {pspm}, title = {Axiomatic Set Theory}, @@ -5561,7 +5792,7 @@ year = {1971}, volume = {13}, part = {1}, - volumesorder = {vp}, + volsorder = {vp}, language = {english}, hyphenation = {english}, } @@ -5573,10 +5804,11 @@ year = {1974}, volume = {13}, part = {2}, - volumesorder = {vp}, + volsorder = {vp}, language = {english}, hyphenation = {english}, } + @MVPROCEEDINGS{pspm, editor = {Dana Scott and T. J. Jech}, title = {Proceedings of Symposia in Pure Mathematics}, @@ -5586,6 +5818,18 @@ hyphenation = {english}, } +@BOOK{brouwer:cw2, + ids = {brouwer_cw2}, + editor = {Hans Freudenthal}, + year = {1976}, + volume = {2}, + subtitle = {Geometry, analysis, topology and mechanics}, + language = {English, German, Dutch, French}, + pagetotal = {xxvii, 706}, + crossref = {brouwer:cw}, + hyphenation = {english}, +} + @BOOK{jech:tm, author = {Йех, Томас}, title = {Теория множеств и метод форсинга}, @@ -5612,7 +5856,7 @@ language = {english}, hyphenation = {english}, related = {jech:tm}, - relatedtype = {translatedas}, + relatedtype = {bytranslator}, } @ARTICLE{scott:pich, @@ -5627,6 +5871,7 @@ language = {english}, hyphenation = {english}, } + @ARTICLE{mostowski:uas, author = {Andrzej Mostowski}, title = {An undecidable arithmetical statement}, @@ -5641,6 +5886,7 @@ url = {http://eudml.org/doc/213187}, annotation = {Mostowski collapsing theorem}, } + @BOOK{aczel:nwfs, author = {Aczel, Peter}, foreword = {Barwise, Jon}, @@ -5655,6 +5901,7 @@ language = {english}, hyphenation = {english}, } + @ARTICLE{tzouvaras:fa, author = {Tzouvaras, Athanassios}, title = {Forcing and antifoundation}, @@ -5668,6 +5915,7 @@ pages = {645-661}, doi = {10.1007/s00153-004-0268-5}, } + @ARTICLE{esser:fwafa, author = {Olivier Esser}, title = {Forcing with the Anti-Foundation axiom}, @@ -5681,6 +5929,7 @@ pages = {55--62}, doi = {10.1002/malq.201020079}, } + @BOOK{barwise:liar, title = {The Liar}, subtitle = {An Essay on Truth and Circularity}, @@ -5694,6 +5943,185 @@ hyphenation = {english}, } +@BOOK{barwise_moss:vc, + title = {Vicious Circles}, + subtitle = {On the mathematics of non-wellfounded phenomena}, + isbn = {1575860082}, + pagetotal = {400}, + location = {Stanford, Calif}, + publisher = {CSLI Publications}, + author = {Barwise, Jon and Moss, Lawrence S.}, + year = {1996}, + language = {english}, + hyphenation = {english}, +} + +@ARTICLE{seebach-etal:wis, + title = {What is a Sheaf?}, + author = {Seebach, J. Arthur Jr. and Seebach, Linda A. and Steen, Lynn A.}, + journal = {The American Mathematical Monthly}, + volume = {77}, + number = {7}, + issue = {Aug.---Sep.}, + pages = {681-703}, + url = {http://www.jstor.org/stable/2316199}, + issn = {00029890}, + language = {English}, + year = {1970}, + publisher = {Mathematical Association of America}, +} + +@BOOK{goldblatt:t-ru, + author = {Голдблатт, Роберт}, + translator = {В. Н. Гришина and В. В. Шокурова}, + editor = {Д. А. Бочвара}, + title = {Топосы. Категорный анализ логики}, + shorttitle = {Топосы}, + year = {1983}, + publisher = {Мир}, + location = {М.}, + pagetotal = {488}, + origlanguage = {english}, + language = {russian}, + hyphenation = {russian}, + related = {goldblatt:t-en}, + relatedtype = {translationof}, +} + +@BOOK{goldblatt:t-en, + author = {Robert Goldblatt}, + title = {Topoi, the categorial analysis of logic}, + shorttitle = {Topoi}, + year = {1984}, + origyear = {1979}, + publisher = {North-Holland}, + location = {Amsterdam and New York and Oxford}, + series = {Studies in Logic and the Foundations of Mathematics~; v.98}, + pagetotal = {568}, + language = {english}, + hyphenation = {english}, + edition = {2}, + related = {goldblatt:t-ru}, + relatedtype = {bytranslator}, +} + +@ARTICLE{vanDalen:iia, + author = {D. van Dalen}, + title = {An interpretation of intuitionistic analysis}, + journal = {Annals of Mathematical Logic}, + volume = {13}, + number = {1}, + pages = {1-43}, + year = {1978}, + issn = {0003-4843}, + doi = {10.1016/0003-4843(78)90029-3}, + language = {english}, + hyphenation = {english}, +} + +@MVBOOK{borceux:hca, + title = {Handbook of Categorical Algebra}, + author = {Borceux, Francis}, + volumes = {3}, + isbn = {9780521441803}, + series = {Encyclopedia of Mathematics and its Applications}, + _number = {50, 51, 52}, + year = {1994}, + publisher = {Cambridge University Press}, + language = {english}, + hyphenation = {english}, +} + +@BOOK{borceux:hca1, + crossref = {borceux:hca}, + volume = {1}, + title = {Basic Category Theory}, + pagetotal = {345}, + number = {50}, + isbn = {0521061199}, + language = {english}, + hyphenation = {english}, +} + +@BOOK{borceux:hca2, + crossref = {borceux:hca}, + volume = {2}, + title = {Categories and Structures}, + pagetotal = {443}, + number = {51}, + isbn = {052144179X}, + language = {english}, + hyphenation = {english}, +} + +@BOOK{borceux:hca3, + crossref = {borceux:hca}, + volume = {3}, + title = {Sheaf Theory}, + pagetotal = {522}, + number = {52}, + isbn = {0521441803}, + language = {english}, + hyphenation = {english}, +} + +@INPROCEEDINGS{kripke:sail, + ids = {kripke_sail}, + author = {Kripke, Saul}, + title = {Semantical Analysis of Intuitionistic Logic I}, + language = {english}, + pages = {92--129}, + crossref = {fsrf40}, + hyphenation = {english}, +} + +@BOOK{bell:st, + title = {Set Theory}, + subtitle = {Boolean-Valued Models and Independence Proofs}, + author = {John L. Bell}, + isbn = {9780191620829}, + series = {Oxford Logic Guides}, + number = {47}, + edition = {3}, + year = {2005}, + pagetotal = {216}, + publisher = {Clarendon Press}, + language = {english}, + hyphenation = {english}, +} + +@BOOK{lebesgue:iv, + author = {Анри Лебег}, + title = {Об измерении величин}, + year = {1960}, + translator = {О. И. Кисловской-Карской}, + editor = {И. М. Яглома}, + foreword = {А. Н. Колмогорова}, + publisher = {Гос. уч.-пед. изд-во М-ва просвещения РСФСР}, + location = {Москва}, + pagetotal = {204}, + origlanguage = {french}, + language = {russian}, + hyphenation = {russian}, + edition = {2}, + related = {lebesgue:mg}, + relatedtype = {translationof}, +} + +@BOOK{lebesgue:mg, + AUTHOR = {Henri Lebesgue}, + TITLE = {La mesure des grandeurs}, + YEAR = {1915}, + publisher = {A. Kundig}, + location = {Genève}, + number = {1}, + series = {Monographies de l’Enseignement mathématique}, + language = {french}, + hyphenation = {french}, + related = {lebesgue:iv}, + relatedtype = {bytranslator}, +} + @THESIS{belozerov:thesis, ids = {belozerov_thesis}, author = {Белозеров, Иван Валентинович}, |