Image of Soviet and Russian logic in the West. Latter Half of the XXth Century
Article Sidebar
Опубликован:
19.12.2021
Ключевые слова:
the history of logic in Russia and the USSR, mathematical logic, traditionallogic, non-classical logic, bibliography
Main Article Content
Аннотация
The article attempts to overview Western scientific knowledge of research in mathematical logic and its history in the USSR and Russia in the first half of the 20th century. We claim that Western scholars followed and were generally aware of the main works of their Soviet and Russian colleagues on mathematical logic and its history. It was possible, firstly, due to the fact that a number of Western scientists knew the Russian language, and, secondly, because Soviet and Russian logicians published their works in English (sometimes in German) in the original journals of mathematical logic or Soviet publishing houses (mainly Mir Publishers) translated Soviet authors into English. Thus, the names of A.G. Dragalin, Yu.L. Ershov, A.S. Karpenko, A.N. Kolmogorov, Z.A. Kuzicheva, Yu.I. Manin, S.Yu. Maslov, F.A. Medvedev, G.E. Mints, V.N. Salii, V.A. Smirnov, A.A. Stolyar, N.I. Styazhkin, V.A. Uspensky, I.M. Yaglom, S.A. Yanovskaya, A.P. Yushkevich, A.A. Zinov’ev were quite known to their Western counterparts. With the dawn of perestroika, contacts of Soviet / Russian logicians expanded significantly. Nevertheless, the analysis of Western works on mathematical logic and the history of logic suggests that by the end of the 20th century the interest of Western scientists in the works of their Russian colleagues had noticeably waned.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Бажанов В. А., Anellis I. H. Image of Soviet and Russian logic in the West. Latter Half of the XXth Century // Логические исследования / Logical Investigations. 2021. Т. 27. № 2. C. 133-152.
Выпуск
Раздел
История логики
Copyright (c) 2021 Валентин Александрович Бажанов, Irving H. Anellis
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.
Литература
Abeles, Fuller, 2016 – Modern Logic 1850–1950, East and West (Studies in Universal Logic), F.F. Abeles, M.E. Fuller (eds.). Springer; Birkhauser, 2016. 256 pp.
Anellis, 1987 – Anellis, I.H. “The heritage of S.A. Janovskaja”, History and Philosophy of Logic, 1987, Vol. 8, pp. 45–56.
Anellis, 1987a – Anellis, I.H. “Sof’ja Aleksandrovna Janovskaja (1896–1966)”, in: Women of Mathematics: A Biobibliographic Sourcebook, eds. by L.S. Grinstein, P.J. Campbel. New York: Westport; CT/London: Greenwood Press, 1987, pp. 80–85.
Anellis, 1988 – Anellis, I.H. “Maslov’s inverse method and its application to programminglogic”, in: Iowa State University Conference on Algebraic Logic and Universal Algebra in Computer Science, 1–4 June 1988, ed. by C. Bergman. New York: Ames, Iowa, Abstracts, 1988, p. 2.
Anellis, 1996 – Anellis, I.H. “Sof’ya Aleksandrovna Yanovskaya’s contributions to logic and history of logic”, Modern Logic, 1996, Vol. 6, pp. 7–36.
Antonova et al., 2001 – Logika: Biobibliograficheskii spravochnik (Rossiya – SSSR –Rossiya) [Logic: A Biobibliographical Directory (Russia–the USSR–Russia)], compiled by O. Antonova, A. Miloslavov, T. Sokhor. SPb: Nauka, 2001. 488 pp.
Bazhanov, 1988 – Bazhanov, V.A. Nikolai Aleksandrovich Vasiliev [Nikolay Alexandrovich Vasiliev]. Moskva: Nauka, 1988, p. 144. (In Russian)
Bazhanov, 1990 – Bazhanov, V.A. “The fate of one forgotten idea: N.A. Vasiliev and his imaginary logic”, Studies in Soviet Thought, 1990, Vol. 37, pp. 333–341.
Bazhanov, 1992 – Bazhanov, V.A. “C.S. Peirce’s influence on the logical work of N.A. Vasiliev”, Modern Logic, 1992, Vol. 3, pp. 45–51.
Bazhanov, 1994 – Bazhanov, V.A. “The imaginary geometry of N.I. Lobachevsky and the imagi-nary logic of N.A. Vasiliev”, Modern Logic, 1994, Vol. 4, No. 2, pp. 148–156.
Bazhanov, 1996 – Bazhanov, V.A. “Vladimir Aleksandrovich Smirnov”, Modern Logic,1996, Vol. 6, No. 2, p. 197.
Bazhanov, 2001a – Bazhanov, V.A. “The Origins and Emergence of Non-Classical Logic in Russia (Nineteenth Century until the Turn of the Twentieth Century)”, in: Zwischen traditioneller und moderner Logik. Nicht-klassiche Ansatze. Paderborn: Mentis-Verlag, 2001, pp. 205–217.
Bazhanov, 2001b – Bazhanov, V.A. “Restoration: S.A. Yanovskaya’s Path in Logic”, History and Philosophy of Logic, 2001, Vol. 22, No. 3, pp. 129–133.
Bazhanov, 2007 – Bazhanov, V.A. Istoriya logiki v Rossii i SSSR [History of Logic in Russia and the USSR]. Moscow: Canon+, 2007. 336 pp.
Bazhanov, 2009 – Bazhanov, V.A. N.A. Vasiliev i yego voobrazhayemaya logika. Voskresheniye odnoy zabytoy idei [N.A. Vasiliev and His Imaginary Logic. The Resurrection of One Forgotten Idea]. Moscow: Canon+, 2009. 240 pp.
Bazhanov, 2013 – Bazhanov, V.A. “The Logical Community in the USSR and Modern Russia: The Furrow Syn-drome”, in: Logic in Central and Eastern Europe History, Science, and Discourse. University Press of America, 2013, pp. 65–72.
Bazhanov, 2016 – Bazhanov, V.A. Russian Origins of Non-Classical Logic, Modern Logic 1850–1950, East and West (Studies in Universal Logic), eds. by Francine F. Abeles, Mark E. Fuller. Springer; Birkhauser, 2016, pp. 197–203.
Bazhanov, 2017 – Bazhanov, V.A. “From Under the Rubble: Logic and Philosophy of Logic in the USSR and the Ideologized Science Phenomenon”, Social Epistemology, 2017, Vol. 31, No. 1, pp. 66–77.
Beeson, 1985 – Beeson, M.J. Foundations of Constructive Mathematics: Metamathematical Studies. Berlin; Heidelberg; New York; Tokyo: Springer-Verlag, 1985. 465 pp.
Biryukov, 2001 – Biryukov, B.V. “Die Antozipation nichtklassicher Iden durch russische Logikere Ende des 19. Und Anfang des 20. Jahrhundredts”, Zwischen traditioneller und moderner Logik. Nichtklassiche Ansatze. Paderborn: Mentis-Verlag,2001, pp. 219–238.
Bochenski, 1961 – Bochenski, J.M. “Soviet logic”, Studies in Soviet Thought, 1961,Vol. 1, pp. 29–38.
Bochenski, 1967 – Bochenski, J.M. “Sof’ja Aleksandrovna Janovskaja” [Sofia Alexandrovna Yanovskaya], Studies in Soviet Thought, 1967, Vol. 7, pp. 66–67.
Bochenski, 1973 – Bochenski, J.M. “S.A. Janovskaja”, Studies in Soviet Thought, 1973, Vol. 13, pp. 1–10.
Cavaliere, 1985 – Cavaliere, F. “Cenni sul recente dibatto nell’ ambito delle logiche formali in Unione Sovietica”, Epistemologia, 1985, Vol. 8, pp. 321–328.
Cavaliere, 1988 – Cavaliere, F. “Il dibattito sulla logica in Unione Sovietica (1945–1965)”, Rivista di Storia della Filosofia, 1988, No. 3, pp. 533–569.
Cavaliere, 1990 – Cavaliere, F. La logica formale in Unione Sovietica: Gli anni del dibattito, 1946–1965. Firenze: La Nuova Italia Editirce, 1990. 140 pp.
Chagrov, Zakharyaschev, 1997 – Chagrov, A., Zakharyaschev, M. Modal Logic (Oxford Logic Guides, vol. 35). Oxford: University Press Oxford, 1997. 605 pp.
Cogan, 1962 – Cogan, E.J. “Review of Mathematical Logic and the Foundations of Mathematics, by S.A. Yanovskaya”, Journal of Symbolic Logic, 1962, Vol. 27, p. 470.
Comey, 1962 – Comey, D.D. “Two recent Soviet conferences on logic”, Studies in Soviet Thought, 1962, Vol. 2, pp. 21–36.
Comey, 1966 – Comey, D.D. “Current trends in Soviet logic”, Inquiry, 1966, Vol. 9, pp. 94–108.
Cutland, 1983 – Cutland, N. Vychislimost’. Vvedenie v teoryu rekursivnyh funktsii [Extensiveness. Introduction to the theory of recursive functions]. Moscow: Mir, 1983. 255 pp. (In Russian)
Dragalin, 1988 – Dragalin, A.G. Mathematical Intuitionism: Introduction to Proof Theory. Translations of Mathematical Monographs, Vol. 67, trans. by E. Mendelson. Providence: American Mathematical Society, 1988. 228 pp.
Ershov, 1977 – Ershov, Y.L. Teoriya numeratsii [Theory of Numeration], 3 tm. Novosibirsk: Izdat. Novosib. Gosud. Un-ta, 1977. 416 pp. (In Russian)
Ershov, 1973–1977 – Ershov, Y.L. “Theorie der Numerierungen”, Zeitschrift f¨ur mathematischen Logik und Grundlagen der Mathematik, 1973, Vol. 19, pp. 289–388; 1975, Vol. 21, pp. 473–584; 1977, Vol. 23, pp. 289–371.
Ershov, 1983 – Ershov, Y.L. “Matematicheskaya logika i osnovaniya matematiki” [Mathematical logic and foundations of mathematics], in: Ocherki razvitiya matematiki v SSSR [Essays on the Development of Mathematics in the USSR]. Kiev: Naukova Dumka, 1983, pp. 57–61. (In Russian)
Ershov, Palyutin, 1979 – Ershov, Y.L., Palyutin, E.A. Matematicheskaya logika [Mathematical Logic]. Moscow: Nauka, 1979. 336 pp. (In Russian)
Ershov, Palyutin, 1984 – Ershov, Y.L., Palyutin, E.A. Mathematical Logic. Moscow: Mir, 1984. 303 pp. (English translation by V. Shokurov, revised from Ershov, Palyutin, 1979.)
Finn, 2000 – Finn, V.K. “Vladimir Alexandrovich Smirnov as a Founder of Research Schools in Logic and Methodology of Science in the USSR and Russia”, Studia Logica, 2000, No. 2, pp. 205–213.
Gerasimova, 1996 – Gerasimova, I. “Normative Reasonings and Default Assumptions”, in: Philosophical Logic and Logical Philosophy, ed. by P.I. Bystrov, V. Sadovsky. Netherlands: Kluwer Acad. Press, 1996, pp. 203–212.
Getmanova, 1989 – Getmanova, A.D. Logic. Moscow: Progress Publishers, 1989. 357 pp. (Trans. by S. Smith of: Logika. Moscow: Vysshaya shkola.)
Getmanova et al., 1990 – Getmanova, A.D., Panov, M.I., Panov, V.V. Logic Made Simple: A Dictionary. Moscow: Progress Publishers, 1990. 356 pp. (Trans. by S. Syrovatkin of their: Logika: prosto o slozhnom. Slovar’.)
Gnedenko, 1946 – Gnedenko, B.V. Ocherki po istorii matematiki v Rossii [Essays on the History of Mathematics in Russia]. Moscow: OGIZ, 1946. 246 pp. (In Russian)
Hackstaff, Bochenski, 1962 – Hackstaff, L.H., Bochenski, J.M. “A study of manyvalued logic”, Studies in Soviet Thought, 1962, Vol. 2, pp. 37–48.
H¨anggi, 1967 – H¨anggi, J. “Die Entwicklung der Diskussion um die formale Logik in der Sowjetunion”, Studies in Soviet Thought, 1967, Vol. 7, pp. 142–153.
H¨anggi, 1971 – H¨anggi, J. Bibliographie der Sowjetischen Logick. Winterthur, 1971.
Holden, 1984 – Holden, C. “Russian influence in science diminishing”, Science, 1984, Vol. 223, p. 1155.
Karpenko, 1996 – Karpenko, A.S. “A Logic Without Fixed Points”, in: Philosophical Logic and Logical Philosophy, ed. by P.I. Bystrov, V. Sadovsky. Netherlands: Kluwer Acad. Press, 1996, pp. 213–219.
Karpenko, 2013 – Karpenko, A.S. “Moscow Logical Schools (Period of Ideology 1917–1991), Logic in Central and Eastern Europe History, Science, and Discourse. Lanham: University Press of America, 2013, pp. 317–380.
Kasinec, 1978 – Kasinec, E. “A bibliographical essay on the documentation of Russian Orthodoxy during the imperial era”, Russian Orthodoxy under the Old Refgime, R.L. Nichols, T.G. Stavrou (eds.). Minneapolis: University of Minnesota Press, 1978, pp. 202–228.
Kline, 1951 – Kline, G.L. “Review of Foundations of Mathematics and Mathematical Logic by S.A. Yanovskaya”, Journal of Symbolic Logic, 1951, Vol. 16, pp. 46–48.
Kolmogorov, 1925 – Kolmogorov, A.N. “O principe tertium non datur” [On principle tertium non datur], in: Matematichesky Sbornik [Mathematical Collection], 1925, Vol. 32, pp. 646–667. (English trans. by J. van Heijenoort: Kolmogorov, 1967.) (In Russian)
Kolmogorov, 1932 – Kolmogorov, A.N. “Zur Deutung der intuitionistischen Logik”, Mathermatische Zeitschrift, 1932, Vol. 35, pp. 58–65.
Kolmogorov, 1967 – Kolmogorov, A.N. “On the principle of excluded middle”, in: From Frege to G¨odel: a source-book in mathematical logic, 1879–1931, ed. by J. van Heijenoort. Cambridge; Massachusetts: Harvard University Press, 1967, pp. 416–437; with an “Introduction” by Hao Wang van Heijenoort, 1967, pp. 414–416.
Kolmogorov, Yushkevich, 1978 – Kolmogorov, A.N., Yushkevich A.P. Matematika XIX veka [Mathematics in XIX century]. Moscow: Nauka, 1978. 256 pp. (English trans.: [Kolmogorov, Yushkevich, 1992].) (In Russian)
Kolmogorov, Yushkevich, 1992 – Kolmogorov, A.N., Yushkevich, A.P. Mathematics of the 19th Century: Mathematical Logic, Algebra, Number Theory, Probability Theory, trans. by A. Shenitzer, et al. Basel; Boston; Berlin: Birkh¨auser Verlag, 1992. 332 pp.
Kormin, Anellis, 2000 – Kormin, H., Anellis, I.H. An Annotated Bibliography of Western-Language (mainly English) Sources for the History of Formal Logic in Russia. Ames: Studio 2K/MLP Books, 2000. 52 pp.
K¨ung, 1961 – K¨ung, G. “Mathematical logic in the Soviet Union (1917–1947 and 1947–1957)”, Studies in Soviet Thought, 1961, Vol. 1, pp. 39–43.
K¨ung, 1962 – K¨ung, G. “Bibliography of Soviet work in the field of mathematical logic and the foundations of mathematics, from 1917 to 1957”, Notre Dame Journal of Formal Logic, 1962, Vol. 3, pp. 1–40. Kushner, 1993 – Kushner, B.A. “Markov and Bishop: An Essay in Memory of
A.A. Markov and E. Bishop (1928–1983)”, in: Golden Years of Moscow Mathematics, S. Zdravkovskaya, P.L. Duren (eds.). Providence: American Mathematical Society; London: London Mathematical Society, 1993, pp. 179–197.
Kushner, 1994 – Kushner, B.A. “Memories of Mech.-Math. in the ‘Sixties, inspired by Uspensky’s Journal of Symbolic Logic article on Kolmogorov’s work in logic”, Modern Logic, 1994, Vol. 4, pp. 165–195.
Kushner, 1996 – Kushner, B.A. “Sof’ja Aleksandrovna Janovskaja: A few reminiscences”, Modern Logic, 1996, Vol. 6, pp. 67–72.
Kuzicheva, 1978 – Kuzicheva, Z.A. “Matematicheskaya logika [Mathematical logic]”, in: Matematika XIX veka, A.N. Kolmogorov, A.P. Yushkevich (eds.). Moscow: Nauka, 1978, pp. 11–38, w/refs, pp. 242–243. (English translation: Kuzicheva,1992.) (In Russian)
Kuzicheva, 1991 – Kuzicheva, Z.A. “Nikolai Ivanovich Styazhkin (kratkii ocherk zhizn i nauchnoi deyatel’nosti)” [Nikolay Ivanovich Styazhkin (a brief outline of life and scientific activity)], Modern Logic, 1991, Vol. 2, pp. 53–169. (In Russian)
Kuzicheva, 1991a – Kuzicheva, Z.A. “Ukazatel’ opublikovannykh nauchnykh rabot starshego nauchnogo sotrudnika, professora, doktora filosofskikh nauk Styazhkina Nikolaya Ivanovicha za period s 1956 po 1986 gg.” [Index of published scientific works of senior researcher, professor, doctor of philosophical sciences Nikolai Ivanovich Styazhkin for the period from 1956 to 1986], Modern Logic, 1991, Vol. 2, pp. 170–188. (In Russian)
Kuzicheva, 1992 – Kuzicheva, Z.A. “Mathematical Logic”, in: Mathematics of the 19th Century: Mathematical Logic, Algebra, Number Theory, Probability Theory,
A.N. Kolmogorov, A.P. Yushkevich (eds.), trans. by A. Shenitzer et al. Basel; Boston; Berlin: Birkh¨auser Verlag, 1992, pp 1–34, w/refs. pp. 291–293.
LaSalle, Lefschetz, 1962 – Recent Soviet Contributions to Mathematics, J.P. LaSalle, S. Lefschetz (eds.). New York; London: Macmillan, 1962. 324 pp.
LaSalle, Lefschetz, 1962a – LaSalle, J.P. Lefschetz, S. “A general appraisal of mathematics in the USSR”, in: Recent Soviet Contributions to Mathematics, J.P. LaSalle, S. Lefschetz (eds.). New York; London: Macmillan, 1962, pp. 3–13.
Lifschitz, 1986 – Lifschitz, V. Mechanical Theorem Proving in the USSR (The Leningrad School). Falls Church, Virginia: Delphic Associates, 1986. 103 pp.
Logical Legacy, 2017 – The Logical Legacy of Nikolai Vasiliev and Modern Logic, V. Markin, D. Zaitsev (eds.). Springer, 2017. 221 pp.
Mal’tsev, 1971 – Mal’tsev, A.I. The Metamathematics of Algebraic Systems, Collected Papers: 1936–1967, transl. by B.F. Wells. Amsterdam; London: North-Holland, 1971. 494 pp.
Manin, 1977 – Manin, Y.I. A Course in Mathematical Logic, transl. by N. Koblitz. New York; Heidelberg; Berlin: Springer-Verlag, 1977. 384 pp.
Maslov et al., 1971 – Maslov, S.Yu., Mints, G.E., Orevkov V.P. “Mechanical proofsearch and the theory of logical deduction in the USSR”, Revue Internationale de Philosophie, 1971, Vol. 25, pp. 575–584.
Medvedev, 1982 – Medvedev, F.A. “ ¨Uber ein Theorem von G. K¨onig”, NTM-Schriftenr. Geschichte Naturwiss. Techn. und Med., 1982, Vol. 19, pp. 15–20.
Mendelson, 1986a – Mendelson, E. “Review of Mathematical Logic by E.A. Palyutin & Yu.L. Ershov”, Journal of Symbolic Logic, 1986, Vol. 51, No. 3, p. 829.
Mints, 1986b – Mints, G.E. “Review of Mathematical Logic by E.A. Palyutin & Yu.L. Ershov”, Journal of Symbolic Logic, 1986, Vol. 51, No. 3, pp. 827–829.
Mints, 1989 – Mints, G.E. “Proof theory in the USSR 1925–1969”, in: Proceedings, COLOG-88, Tallinn, Estonian Academy of Sciences, Tallinn, Eston. SSR, December 12–16, 1988. Berlin: Springer, 1989, pp. 25–66.
Mints, 1991 – Mints, G.E. “Proof theory in the USSR 1925-1969”, Journal of Symbolic Logic, 1991, Vol. 56, pp. 385–424.
Modern Logic, 1997 – “Bibliografiya Nauchnykh Trudov V.A. Smirnova” [Bibliography of V.A. Smirnov’s Academic Works], Modern Logic, 1997, Vol. 7, No. 3/4, pp. 345–359. (In Russian)
Nikitin, 1962 – Ocherki po istorii logiki v Rossii [Essyas on the History of Logic in Russia], ed. by P.I. Nikitin. Moscow: Izdat. Moskov. Un-ta, 1962. 256 pp. (In Russian)
Novikov, 1943 – Novikov, P.S. “On the Consistency of Certain Logical Calculus”, Matematicheskii Sbornik, 1943, Vol. 12 (54), pp. 231–261.
Novikov, 1964 – Novikov, P.S. Elements of Mathematical Logic, transl. by L.F. Boron. Edinburgh; London: Addison-Wesley, 1964. 296 pp.
Novikov, 1973 – Novikov, P.S. Grundz¨uge der mathematischen Logik. Berlin: VEB Deutscher-Verlag, 1973. 302 pp.
Popov, 1996 – Popov, V.M. “The Sequent Variant of System R”, in: Philosophical Logic and Logical Philosophy, P.I. Bystrov, V. Sadovsky (eds.). Netherlands: Kluwer Acad. Press, 1996, pp. 227–234.
Primakovskii, 1955 – Primakovskii, A.P. Bibliografiia po logike. Khronologicheskii ukazatel’ Proizvedenii po voprosam logiki, Izdannykh na Russkom yazyke v SSSR v XVIII–XX vv. [Bibliography on logic. Logical works publishe in Russian language in the USSR within XVIII–XX]. Kiev: Akad. Nauk Ukrain. SSR, 1955. 95 pp. (In Russian)
Salii, 1988 – Salii, V.N. “Lattices with Unique Complements”, in: Translations of Mathematical Monographs, Vol. 69, transl. by G.A. Kandall. Providence: American Mathematical Society, 1988. XI, p. 113.
Schumann, 2013 – Logic in Central and Eastern Europe, 2013 Logic in Central and Eastern Europe: History, Science, and Discourse, ed. by A. Schumann. Lanham: University press of America, 2013. 730 pp.
Silver, 1987 – “Six Papers in Logic”, in: American Mathematical Society Translations (2), Vol. 135, ed. by B. Silver. Providence: American Mathematical Society, 1987. X, p. 79.
Smirnov, 1971 – Smirnov, V.A. “Elimination des termes dans là logique intuitionniste”, Revue internationale de philosophie, 1971, No. 98, Fasc. 4, pp. 512–519.
Smirnov, 1973 – Smirnov, V.A. “An Absolute First Order Predicate Calculus”, Bull. of the Section of Logic, 1973, Vîl. 3, pp. 38–45.
Smirnov, 1979 – Smirnov, V.A. “Theory of Quantification and e-calculi”, Essays on Mathematical and Philosophical Logic. Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyv¨askyl¨a, Finland, June 29–July 6, 1976, J. Hintikka, I. Niiniluoto, E. Saarinen (eds.). Dordrecht; Holland; Boston: D. Reidel, 1979, pp. 41–47.
Smirnov, 1982 – Smirnov, V.A. “The Definition of Modal Operators bó Måans of Tense Operators”, Acta Philosophica Fennica, 1982, Vol. 35: Intensional Logic: Theory and Applications, pp. 50–69.
Smirnov, 1983 – Smirnov, V.A. “Embedding the Elementary Ontology of S. Lesniewski into the Monadic Second Order Calculus of Predicates”, Studia Logica, 1983, Vol. 42, No. 2–3, pp. 197–207.
Smirnov, 1986a – Smirnov, V.A. “Logical Relations Between Theories”, Synthese, 1986, Vol. 66, No. 1, pp. 71–87.
Smirnov, 1986b – Smirnov, V.A. “Modality de rå and Vasiliev’s Imaginary Logics”, Logique et Analyse, 1986, Vol. 45, No. 114, pp. 205–211.
Smirnov, 1987 – Smirnov, V.A. “Strict Embedding of the Elementary Ontology into the Monadic Second-Order Calculus of the Predicates Admitting the Empty Individual Domain”, Studia Logica, 1987, Vol. 46, No. 1, pp. 1–15.
Smirnova, 1997 – Smirnova, E.D. “Scaffolding” of the World and Logic. A Logical-Semantic Analysis of Wittgenstein’s Tractatus”, Analyomen 2. Proceedings of the 2nd Conference “Perspectives in Analytical Philosophy”, Vol. 2. Berlin; New York:1997, pp. 241–247.
Smirnova, 1998 – Smirnova, E.D. “An approach to nonstandard semantics and some problems of the foundation of logical systems”, Bull. of the Section of Logic, 1998, Vol. 27, No. 1/2, pp. 82–84.
Smirnova, 2000a – Smirnova, E.D. Logic in Philosophy and Philosophical Logic. New York: The Edwin Mellen press Ltd., 2000a. 392 pp.
Smirnova, 2000b – Smirnova, E.D. “An approach to the justification of semantics to paraconsistent logics”, in: Frontiers of Paraconsistent Logic, D. Batens, Image of Soviet and Russian logic in the West. Latter half of the XXth century 151 C. Mortensen, G. Priest, J.-P. Van Bendegem (eds.), No. 8. Baldock: Research Studies Press Ltd., 2000, pp. 255–262.
Smirnova, 2001 – Smirnova, E.D. “The problem of formalization of some nonstandard semantics”, Logic and Logical Philosophy, 2001, Vol. 9, pp. 153–157.
Stolyar, 1970 – Stolyar, A.A. Introduction to Elementary Mathematical Logic, trans. by Scripta Technica, Inc., ed. by E. Mendelson. Cambridge; MA; London: MIT Press, 1970. 209 pp.
Stolyar, 1983 – Stolyar, A.A. Introduction to Elementary Mathematical Logic. New York: Dover Pub-lications, 1983. 209 pp.
Styazhkin, 1969 – Styazhkin, N.I. History of Mathematical Logic from Leibniz to Peano. Cambridge; MA; London: MIT Press, 1969. 344 pp.
Styazhkin, 1980 – Styazhkin, N.I. Storia della logica. Roma: Editrori Riuniti, 1980. 331 pp.
Styazhkin, Silakov, 1962 – Styazhkin, N.I., Silakov V.D. Kratkii ocherk istorii obshchei i matematicheskoi logiki v Rossii [Concise essay on history of general and mathematical logic in Russia]. Moscow: Vysshchaya Shkola, 1962. 88 pp. (In Russian)
Thiel, 1991 – Thiel, Ch. Projektantrag: Mathematische Logik in Russland. Universit¨at Erlangen-N¨urnberg, 1991. 12 pp.
Uspenskii, 1974 – Uspenskii, V.A. “Teorema G¨edelia o nepolnote v elementarnom izlozhenii” [Godel’s incompleteness theorem in elementary form], Uspehi Matematicheskih Nauk, 1974, Vol. 29, No. 1, pp. 1–47. (In Russian)
Uspenskii, 1983 – Uspenskii, V.A. Post’s Machine. English trans. by R. Alavina. Moscow: Mir, 1983. 88 pp.
Uspenskii, 1987 – Uspenskii, V.A. G¨odel’s Incompleteness Theorem. English translation by N. Koblitz. Moscow Mir, 1987. 104 pp.
van Heijenoort, 1967 – From Frege to G¨odel: A Source Book in Mathematical Logic, 1879–1931, ed. by J. van Heijenoort. Cambridge; MA: Harvard University Press, 1967. 664 pp.
Vasilev, 1993 – Vasilev, N. “Logic and metalogic”, Axiomathes, 1993, No. 3, pp. 329–351. (Transl. by Vasyukov V.L.)
Vasyukov, 1988 – Vasyukov, V.L. “T-F-toposes for Lukasiewicz’s infinite valued logics”, Bull. Sect. Logic, 1988, Vol. 17, No. 3/4, pp. 182–190.
Vasyukov, 1993 – Vasyukov, V.L. “A Lesniewskian Guide to Husserl’s and Meinong’s jungle”, Axiomathes, 1993, No. 1, pp. 59–74.
Vasyukov, 1994 – Vasyukov, V.L. “From Ternary to Tetrary?”, Bull. Sect. Logic, 1994, Vol. 23, No. 4, pp. 163–167.
Vasyukov, 1996 – Vasyukov, V.L. “In Memoriam: Vladimir Aleksandrovich Smirnov”, Bull. of Symbolic Logic, 1996, No. 2, pp. 371–372.
Walicki, 1979 – Walicki, A. A History of Russian Thought from the Enlightenment
to Marxism, Image of Soviet and Russian logic in the West. Latter half of the XXth century 151 C. Mortensen, G. Priest, J.-P. Van Bendegem (eds.), No. 8. Baldock: Research Studies Press Ltd., 2000, pp. 255–262.
Smirnova, 2001 – Smirnova, E.D. “The problem of formalization of some nonstandard semantics”, Logic and Logical Philosophy, 2001, Vol. 9, pp. 153–157.
Stolyar, 1970 – Stolyar, A.A. Introduction to Elementary Mathematical Logic, trans. by Scripta Technica, Inc., ed. by E. Mendelson. Cambridge; MA; London: MIT Press, 1970. 209 pp.
Stolyar, 1983 – Stolyar, A.A. Introduction to Elementary Mathematical Logic. New York: Dover Pub-lications, 1983. 209 pp.
Styazhkin, 1969 – Styazhkin, N.I. History of Mathematical Logic from Leibniz to Peano. Cambridge; MA; London: MIT Press, 1969. 344 pp.
Styazhkin, 1980 – Styazhkin, N.I. Storia della logica. Roma: Editrori Riuniti, 1980. 331 pp.
Styazhkin, Silakov, 1962 – Styazhkin, N.I., Silakov V.D. Kratkii ocherk istorii obshchei i matematicheskoi logiki v Rossii [Concise essay on history of general and mathematical logic in Russia]. Moscow: Vysshchaya Shkola, 1962. 88 pp. (In Russian)
Thiel, 1991 – Thiel, Ch. Projektantrag: Mathematische Logik in Russland. Universit¨at Erlangen-N¨urnberg, 1991. 12 pp.
Uspenskii, 1974 – Uspenskii, V.A. “Teorema G¨edelia o nepolnote v elementarnom izlozhenii” [Godel’s incompleteness theorem in elementary form], Uspehi Matematicheskih Nauk, 1974, Vol. 29, No. 1, pp. 1–47. (In Russian)
Uspenskii, 1983 – Uspenskii, V.A. Post’s Machine. English trans. by R. Alavina. Moscow: Mir, 1983. 88 pp.
Uspenskii, 1987 – Uspenskii, V.A. G¨odel’s Incompleteness Theorem. English translationby N. Koblitz. Moscow: Mir, 1987. 104 pp.
van Heijenoort, 1967 – From Frege to G¨odel: A Source Book in Mathematical Logic,1879–1931, ed. by J. van Heijenoort. Cambridge; MA: Harvard University Press,1967. 664 pp.
Vasilev, 1993 – Vasilev, N. “Logic and metalogic”, Axiomathes, 1993, No. 3, pp. 329–351. (Transl. by Vasyukov V.L.)
Vasyukov, 1988 – Vasyukov, V.L. “T-F-toposes for Lukasiewicz’s infinite valued logics”,Bull. Sect. Logic, 1988, Vol. 17, No. 3/4, pp. 182–190.
Vasyukov, 1993 – Vasyukov, V.L. “A Lesniewskian Guide to Husserl’s and Meinong’s jungle”, Axiomathes, 1993, No. 1, pp. 59–74.
Vasyukov, 1994 – Vasyukov, V.L. “From Ternary to Tetrary?”, Bull. Sect. Logic, 1994, Vol. 23, No. 4, pp. 163–167.
Vasyukov, 1996 – Vasyukov, V.L. “In Memoriam: Vladimir Aleksandrovich Smirnov”, Bull. of Symbolic Logic, 1996, No. 2, pp. 371–372.
Walicki, 1979 – Walicki, A. A History of Russian Thought from the Enlightenment to Marxism, trans. from the Polish by H. Andrews-Rusiecka. Stanford: StanfordUniversity Press, 1979. 456 pp.
Weidle, 1961 – Weidle, W. Russia Absent and Present. New York: Vintage Books,1961. 164 pp.
Winkelmann, 1956 – Winkelmann, A. “Die Stellung der formalen Logik im Sowjetunion”,Scholastik, 1956, Vol. 1, pp. 85–89.
Winkelmann, 1957 – Winkelmann, A. “Formal logic in Soviet philosophy”, Philosophy Today, 1957, Vol. 1, pp. 26–28.
Yaglom, 1978 – Yaglom, I.M. An Unusual Algebra. Moscow: Mir, 1978. 128 pp. (Englishtrans. by I.G. Volosova.)
Yanovskaya, 1948 – Yanovskaya, S.A. “Osnovaniya matematiki i matematicheskaya logika” [Foundations of mathematics and mathematical logic], in: Matematiki v SSSR za tridcat let, 1917–1947 [Mathematics in the USSR from 1917 to 1947],
A.G. Kurosh, A.I. Markushevich, P.K. Rashevskii (eds.). Moscow; Leningrad: GITTL, 1948, pp. 9–50. (In Russian)
Yanovskaya, 1959 – Yanovskaya, S.A. “Matematicheskaya logiki i osnovani matematiki” [Foundations of mathematics and mathematical logic], in: Matematika v SSSR za sorok let, 1917–1957 Mathematics in the USSR from 1917 to 1957, tm. 1.Moscow: Fiz-matgiz., 1959, pp. 13–120. (In Russian)
Yushkevich, 1968 – Yushkevich, A.P. Istoriya v matematiki v Rossii do 1917 goda [History of mathematics in Russia until 1917]. Moscow: Nauka, 1968. 592 pp.(In Russian)
Zinov’ev, 1963 – Zinov’ev, A.A. Philosophical Problems of Many-Valued Logic. Netherlands:Springer, 1963. 155 pp.
Zinov’ev, 1968 – Zinov’ev, A.A. “Logic in the USSR”, in: Contemporary Philosophy, A Survey, I. Logic and Foundations of Mathematics, ed. by R. Klibansky. Firenza: La Nova Italia Editrice, 1968, pp. 209–219.
Zinov’ev, 1973 – Zinov’ev, A.A. Foundations of the Logical Theory of Scientific Knowledge (Complex Logic). Ed. by T. Blakeley. Netherlands: Springer, 1973. 301 pp.
Zinov’ev, 1983 – Zinov’ev, A.A. Logical Physics. Ed. by R.S. Cohen. Netherlands: Springer, 1983. 282 pp.
Zozulya, Fomin, 1955 – Zozulya, A.M., Fomin O.P. “Nedobrokachestvennyi ukazatel’po logike” [Poor bibliography on logic], Sovetskaya bibliografiya [Soviet Bibliography],1955, No. 41, pp. 82–86. (In Russian)
Anellis, 1987 – Anellis, I.H. “The heritage of S.A. Janovskaja”, History and Philosophy of Logic, 1987, Vol. 8, pp. 45–56.
Anellis, 1987a – Anellis, I.H. “Sof’ja Aleksandrovna Janovskaja (1896–1966)”, in: Women of Mathematics: A Biobibliographic Sourcebook, eds. by L.S. Grinstein, P.J. Campbel. New York: Westport; CT/London: Greenwood Press, 1987, pp. 80–85.
Anellis, 1988 – Anellis, I.H. “Maslov’s inverse method and its application to programminglogic”, in: Iowa State University Conference on Algebraic Logic and Universal Algebra in Computer Science, 1–4 June 1988, ed. by C. Bergman. New York: Ames, Iowa, Abstracts, 1988, p. 2.
Anellis, 1996 – Anellis, I.H. “Sof’ya Aleksandrovna Yanovskaya’s contributions to logic and history of logic”, Modern Logic, 1996, Vol. 6, pp. 7–36.
Antonova et al., 2001 – Logika: Biobibliograficheskii spravochnik (Rossiya – SSSR –Rossiya) [Logic: A Biobibliographical Directory (Russia–the USSR–Russia)], compiled by O. Antonova, A. Miloslavov, T. Sokhor. SPb: Nauka, 2001. 488 pp.
Bazhanov, 1988 – Bazhanov, V.A. Nikolai Aleksandrovich Vasiliev [Nikolay Alexandrovich Vasiliev]. Moskva: Nauka, 1988, p. 144. (In Russian)
Bazhanov, 1990 – Bazhanov, V.A. “The fate of one forgotten idea: N.A. Vasiliev and his imaginary logic”, Studies in Soviet Thought, 1990, Vol. 37, pp. 333–341.
Bazhanov, 1992 – Bazhanov, V.A. “C.S. Peirce’s influence on the logical work of N.A. Vasiliev”, Modern Logic, 1992, Vol. 3, pp. 45–51.
Bazhanov, 1994 – Bazhanov, V.A. “The imaginary geometry of N.I. Lobachevsky and the imagi-nary logic of N.A. Vasiliev”, Modern Logic, 1994, Vol. 4, No. 2, pp. 148–156.
Bazhanov, 1996 – Bazhanov, V.A. “Vladimir Aleksandrovich Smirnov”, Modern Logic,1996, Vol. 6, No. 2, p. 197.
Bazhanov, 2001a – Bazhanov, V.A. “The Origins and Emergence of Non-Classical Logic in Russia (Nineteenth Century until the Turn of the Twentieth Century)”, in: Zwischen traditioneller und moderner Logik. Nicht-klassiche Ansatze. Paderborn: Mentis-Verlag, 2001, pp. 205–217.
Bazhanov, 2001b – Bazhanov, V.A. “Restoration: S.A. Yanovskaya’s Path in Logic”, History and Philosophy of Logic, 2001, Vol. 22, No. 3, pp. 129–133.
Bazhanov, 2007 – Bazhanov, V.A. Istoriya logiki v Rossii i SSSR [History of Logic in Russia and the USSR]. Moscow: Canon+, 2007. 336 pp.
Bazhanov, 2009 – Bazhanov, V.A. N.A. Vasiliev i yego voobrazhayemaya logika. Voskresheniye odnoy zabytoy idei [N.A. Vasiliev and His Imaginary Logic. The Resurrection of One Forgotten Idea]. Moscow: Canon+, 2009. 240 pp.
Bazhanov, 2013 – Bazhanov, V.A. “The Logical Community in the USSR and Modern Russia: The Furrow Syn-drome”, in: Logic in Central and Eastern Europe History, Science, and Discourse. University Press of America, 2013, pp. 65–72.
Bazhanov, 2016 – Bazhanov, V.A. Russian Origins of Non-Classical Logic, Modern Logic 1850–1950, East and West (Studies in Universal Logic), eds. by Francine F. Abeles, Mark E. Fuller. Springer; Birkhauser, 2016, pp. 197–203.
Bazhanov, 2017 – Bazhanov, V.A. “From Under the Rubble: Logic and Philosophy of Logic in the USSR and the Ideologized Science Phenomenon”, Social Epistemology, 2017, Vol. 31, No. 1, pp. 66–77.
Beeson, 1985 – Beeson, M.J. Foundations of Constructive Mathematics: Metamathematical Studies. Berlin; Heidelberg; New York; Tokyo: Springer-Verlag, 1985. 465 pp.
Biryukov, 2001 – Biryukov, B.V. “Die Antozipation nichtklassicher Iden durch russische Logikere Ende des 19. Und Anfang des 20. Jahrhundredts”, Zwischen traditioneller und moderner Logik. Nichtklassiche Ansatze. Paderborn: Mentis-Verlag,2001, pp. 219–238.
Bochenski, 1961 – Bochenski, J.M. “Soviet logic”, Studies in Soviet Thought, 1961,Vol. 1, pp. 29–38.
Bochenski, 1967 – Bochenski, J.M. “Sof’ja Aleksandrovna Janovskaja” [Sofia Alexandrovna Yanovskaya], Studies in Soviet Thought, 1967, Vol. 7, pp. 66–67.
Bochenski, 1973 – Bochenski, J.M. “S.A. Janovskaja”, Studies in Soviet Thought, 1973, Vol. 13, pp. 1–10.
Cavaliere, 1985 – Cavaliere, F. “Cenni sul recente dibatto nell’ ambito delle logiche formali in Unione Sovietica”, Epistemologia, 1985, Vol. 8, pp. 321–328.
Cavaliere, 1988 – Cavaliere, F. “Il dibattito sulla logica in Unione Sovietica (1945–1965)”, Rivista di Storia della Filosofia, 1988, No. 3, pp. 533–569.
Cavaliere, 1990 – Cavaliere, F. La logica formale in Unione Sovietica: Gli anni del dibattito, 1946–1965. Firenze: La Nuova Italia Editirce, 1990. 140 pp.
Chagrov, Zakharyaschev, 1997 – Chagrov, A., Zakharyaschev, M. Modal Logic (Oxford Logic Guides, vol. 35). Oxford: University Press Oxford, 1997. 605 pp.
Cogan, 1962 – Cogan, E.J. “Review of Mathematical Logic and the Foundations of Mathematics, by S.A. Yanovskaya”, Journal of Symbolic Logic, 1962, Vol. 27, p. 470.
Comey, 1962 – Comey, D.D. “Two recent Soviet conferences on logic”, Studies in Soviet Thought, 1962, Vol. 2, pp. 21–36.
Comey, 1966 – Comey, D.D. “Current trends in Soviet logic”, Inquiry, 1966, Vol. 9, pp. 94–108.
Cutland, 1983 – Cutland, N. Vychislimost’. Vvedenie v teoryu rekursivnyh funktsii [Extensiveness. Introduction to the theory of recursive functions]. Moscow: Mir, 1983. 255 pp. (In Russian)
Dragalin, 1988 – Dragalin, A.G. Mathematical Intuitionism: Introduction to Proof Theory. Translations of Mathematical Monographs, Vol. 67, trans. by E. Mendelson. Providence: American Mathematical Society, 1988. 228 pp.
Ershov, 1977 – Ershov, Y.L. Teoriya numeratsii [Theory of Numeration], 3 tm. Novosibirsk: Izdat. Novosib. Gosud. Un-ta, 1977. 416 pp. (In Russian)
Ershov, 1973–1977 – Ershov, Y.L. “Theorie der Numerierungen”, Zeitschrift f¨ur mathematischen Logik und Grundlagen der Mathematik, 1973, Vol. 19, pp. 289–388; 1975, Vol. 21, pp. 473–584; 1977, Vol. 23, pp. 289–371.
Ershov, 1983 – Ershov, Y.L. “Matematicheskaya logika i osnovaniya matematiki” [Mathematical logic and foundations of mathematics], in: Ocherki razvitiya matematiki v SSSR [Essays on the Development of Mathematics in the USSR]. Kiev: Naukova Dumka, 1983, pp. 57–61. (In Russian)
Ershov, Palyutin, 1979 – Ershov, Y.L., Palyutin, E.A. Matematicheskaya logika [Mathematical Logic]. Moscow: Nauka, 1979. 336 pp. (In Russian)
Ershov, Palyutin, 1984 – Ershov, Y.L., Palyutin, E.A. Mathematical Logic. Moscow: Mir, 1984. 303 pp. (English translation by V. Shokurov, revised from Ershov, Palyutin, 1979.)
Finn, 2000 – Finn, V.K. “Vladimir Alexandrovich Smirnov as a Founder of Research Schools in Logic and Methodology of Science in the USSR and Russia”, Studia Logica, 2000, No. 2, pp. 205–213.
Gerasimova, 1996 – Gerasimova, I. “Normative Reasonings and Default Assumptions”, in: Philosophical Logic and Logical Philosophy, ed. by P.I. Bystrov, V. Sadovsky. Netherlands: Kluwer Acad. Press, 1996, pp. 203–212.
Getmanova, 1989 – Getmanova, A.D. Logic. Moscow: Progress Publishers, 1989. 357 pp. (Trans. by S. Smith of: Logika. Moscow: Vysshaya shkola.)
Getmanova et al., 1990 – Getmanova, A.D., Panov, M.I., Panov, V.V. Logic Made Simple: A Dictionary. Moscow: Progress Publishers, 1990. 356 pp. (Trans. by S. Syrovatkin of their: Logika: prosto o slozhnom. Slovar’.)
Gnedenko, 1946 – Gnedenko, B.V. Ocherki po istorii matematiki v Rossii [Essays on the History of Mathematics in Russia]. Moscow: OGIZ, 1946. 246 pp. (In Russian)
Hackstaff, Bochenski, 1962 – Hackstaff, L.H., Bochenski, J.M. “A study of manyvalued logic”, Studies in Soviet Thought, 1962, Vol. 2, pp. 37–48.
H¨anggi, 1967 – H¨anggi, J. “Die Entwicklung der Diskussion um die formale Logik in der Sowjetunion”, Studies in Soviet Thought, 1967, Vol. 7, pp. 142–153.
H¨anggi, 1971 – H¨anggi, J. Bibliographie der Sowjetischen Logick. Winterthur, 1971.
Holden, 1984 – Holden, C. “Russian influence in science diminishing”, Science, 1984, Vol. 223, p. 1155.
Karpenko, 1996 – Karpenko, A.S. “A Logic Without Fixed Points”, in: Philosophical Logic and Logical Philosophy, ed. by P.I. Bystrov, V. Sadovsky. Netherlands: Kluwer Acad. Press, 1996, pp. 213–219.
Karpenko, 2013 – Karpenko, A.S. “Moscow Logical Schools (Period of Ideology 1917–1991), Logic in Central and Eastern Europe History, Science, and Discourse. Lanham: University Press of America, 2013, pp. 317–380.
Kasinec, 1978 – Kasinec, E. “A bibliographical essay on the documentation of Russian Orthodoxy during the imperial era”, Russian Orthodoxy under the Old Refgime, R.L. Nichols, T.G. Stavrou (eds.). Minneapolis: University of Minnesota Press, 1978, pp. 202–228.
Kline, 1951 – Kline, G.L. “Review of Foundations of Mathematics and Mathematical Logic by S.A. Yanovskaya”, Journal of Symbolic Logic, 1951, Vol. 16, pp. 46–48.
Kolmogorov, 1925 – Kolmogorov, A.N. “O principe tertium non datur” [On principle tertium non datur], in: Matematichesky Sbornik [Mathematical Collection], 1925, Vol. 32, pp. 646–667. (English trans. by J. van Heijenoort: Kolmogorov, 1967.) (In Russian)
Kolmogorov, 1932 – Kolmogorov, A.N. “Zur Deutung der intuitionistischen Logik”, Mathermatische Zeitschrift, 1932, Vol. 35, pp. 58–65.
Kolmogorov, 1967 – Kolmogorov, A.N. “On the principle of excluded middle”, in: From Frege to G¨odel: a source-book in mathematical logic, 1879–1931, ed. by J. van Heijenoort. Cambridge; Massachusetts: Harvard University Press, 1967, pp. 416–437; with an “Introduction” by Hao Wang van Heijenoort, 1967, pp. 414–416.
Kolmogorov, Yushkevich, 1978 – Kolmogorov, A.N., Yushkevich A.P. Matematika XIX veka [Mathematics in XIX century]. Moscow: Nauka, 1978. 256 pp. (English trans.: [Kolmogorov, Yushkevich, 1992].) (In Russian)
Kolmogorov, Yushkevich, 1992 – Kolmogorov, A.N., Yushkevich, A.P. Mathematics of the 19th Century: Mathematical Logic, Algebra, Number Theory, Probability Theory, trans. by A. Shenitzer, et al. Basel; Boston; Berlin: Birkh¨auser Verlag, 1992. 332 pp.
Kormin, Anellis, 2000 – Kormin, H., Anellis, I.H. An Annotated Bibliography of Western-Language (mainly English) Sources for the History of Formal Logic in Russia. Ames: Studio 2K/MLP Books, 2000. 52 pp.
K¨ung, 1961 – K¨ung, G. “Mathematical logic in the Soviet Union (1917–1947 and 1947–1957)”, Studies in Soviet Thought, 1961, Vol. 1, pp. 39–43.
K¨ung, 1962 – K¨ung, G. “Bibliography of Soviet work in the field of mathematical logic and the foundations of mathematics, from 1917 to 1957”, Notre Dame Journal of Formal Logic, 1962, Vol. 3, pp. 1–40. Kushner, 1993 – Kushner, B.A. “Markov and Bishop: An Essay in Memory of
A.A. Markov and E. Bishop (1928–1983)”, in: Golden Years of Moscow Mathematics, S. Zdravkovskaya, P.L. Duren (eds.). Providence: American Mathematical Society; London: London Mathematical Society, 1993, pp. 179–197.
Kushner, 1994 – Kushner, B.A. “Memories of Mech.-Math. in the ‘Sixties, inspired by Uspensky’s Journal of Symbolic Logic article on Kolmogorov’s work in logic”, Modern Logic, 1994, Vol. 4, pp. 165–195.
Kushner, 1996 – Kushner, B.A. “Sof’ja Aleksandrovna Janovskaja: A few reminiscences”, Modern Logic, 1996, Vol. 6, pp. 67–72.
Kuzicheva, 1978 – Kuzicheva, Z.A. “Matematicheskaya logika [Mathematical logic]”, in: Matematika XIX veka, A.N. Kolmogorov, A.P. Yushkevich (eds.). Moscow: Nauka, 1978, pp. 11–38, w/refs, pp. 242–243. (English translation: Kuzicheva,1992.) (In Russian)
Kuzicheva, 1991 – Kuzicheva, Z.A. “Nikolai Ivanovich Styazhkin (kratkii ocherk zhizn i nauchnoi deyatel’nosti)” [Nikolay Ivanovich Styazhkin (a brief outline of life and scientific activity)], Modern Logic, 1991, Vol. 2, pp. 53–169. (In Russian)
Kuzicheva, 1991a – Kuzicheva, Z.A. “Ukazatel’ opublikovannykh nauchnykh rabot starshego nauchnogo sotrudnika, professora, doktora filosofskikh nauk Styazhkina Nikolaya Ivanovicha za period s 1956 po 1986 gg.” [Index of published scientific works of senior researcher, professor, doctor of philosophical sciences Nikolai Ivanovich Styazhkin for the period from 1956 to 1986], Modern Logic, 1991, Vol. 2, pp. 170–188. (In Russian)
Kuzicheva, 1992 – Kuzicheva, Z.A. “Mathematical Logic”, in: Mathematics of the 19th Century: Mathematical Logic, Algebra, Number Theory, Probability Theory,
A.N. Kolmogorov, A.P. Yushkevich (eds.), trans. by A. Shenitzer et al. Basel; Boston; Berlin: Birkh¨auser Verlag, 1992, pp 1–34, w/refs. pp. 291–293.
LaSalle, Lefschetz, 1962 – Recent Soviet Contributions to Mathematics, J.P. LaSalle, S. Lefschetz (eds.). New York; London: Macmillan, 1962. 324 pp.
LaSalle, Lefschetz, 1962a – LaSalle, J.P. Lefschetz, S. “A general appraisal of mathematics in the USSR”, in: Recent Soviet Contributions to Mathematics, J.P. LaSalle, S. Lefschetz (eds.). New York; London: Macmillan, 1962, pp. 3–13.
Lifschitz, 1986 – Lifschitz, V. Mechanical Theorem Proving in the USSR (The Leningrad School). Falls Church, Virginia: Delphic Associates, 1986. 103 pp.
Logical Legacy, 2017 – The Logical Legacy of Nikolai Vasiliev and Modern Logic, V. Markin, D. Zaitsev (eds.). Springer, 2017. 221 pp.
Mal’tsev, 1971 – Mal’tsev, A.I. The Metamathematics of Algebraic Systems, Collected Papers: 1936–1967, transl. by B.F. Wells. Amsterdam; London: North-Holland, 1971. 494 pp.
Manin, 1977 – Manin, Y.I. A Course in Mathematical Logic, transl. by N. Koblitz. New York; Heidelberg; Berlin: Springer-Verlag, 1977. 384 pp.
Maslov et al., 1971 – Maslov, S.Yu., Mints, G.E., Orevkov V.P. “Mechanical proofsearch and the theory of logical deduction in the USSR”, Revue Internationale de Philosophie, 1971, Vol. 25, pp. 575–584.
Medvedev, 1982 – Medvedev, F.A. “ ¨Uber ein Theorem von G. K¨onig”, NTM-Schriftenr. Geschichte Naturwiss. Techn. und Med., 1982, Vol. 19, pp. 15–20.
Mendelson, 1986a – Mendelson, E. “Review of Mathematical Logic by E.A. Palyutin & Yu.L. Ershov”, Journal of Symbolic Logic, 1986, Vol. 51, No. 3, p. 829.
Mints, 1986b – Mints, G.E. “Review of Mathematical Logic by E.A. Palyutin & Yu.L. Ershov”, Journal of Symbolic Logic, 1986, Vol. 51, No. 3, pp. 827–829.
Mints, 1989 – Mints, G.E. “Proof theory in the USSR 1925–1969”, in: Proceedings, COLOG-88, Tallinn, Estonian Academy of Sciences, Tallinn, Eston. SSR, December 12–16, 1988. Berlin: Springer, 1989, pp. 25–66.
Mints, 1991 – Mints, G.E. “Proof theory in the USSR 1925-1969”, Journal of Symbolic Logic, 1991, Vol. 56, pp. 385–424.
Modern Logic, 1997 – “Bibliografiya Nauchnykh Trudov V.A. Smirnova” [Bibliography of V.A. Smirnov’s Academic Works], Modern Logic, 1997, Vol. 7, No. 3/4, pp. 345–359. (In Russian)
Nikitin, 1962 – Ocherki po istorii logiki v Rossii [Essyas on the History of Logic in Russia], ed. by P.I. Nikitin. Moscow: Izdat. Moskov. Un-ta, 1962. 256 pp. (In Russian)
Novikov, 1943 – Novikov, P.S. “On the Consistency of Certain Logical Calculus”, Matematicheskii Sbornik, 1943, Vol. 12 (54), pp. 231–261.
Novikov, 1964 – Novikov, P.S. Elements of Mathematical Logic, transl. by L.F. Boron. Edinburgh; London: Addison-Wesley, 1964. 296 pp.
Novikov, 1973 – Novikov, P.S. Grundz¨uge der mathematischen Logik. Berlin: VEB Deutscher-Verlag, 1973. 302 pp.
Popov, 1996 – Popov, V.M. “The Sequent Variant of System R”, in: Philosophical Logic and Logical Philosophy, P.I. Bystrov, V. Sadovsky (eds.). Netherlands: Kluwer Acad. Press, 1996, pp. 227–234.
Primakovskii, 1955 – Primakovskii, A.P. Bibliografiia po logike. Khronologicheskii ukazatel’ Proizvedenii po voprosam logiki, Izdannykh na Russkom yazyke v SSSR v XVIII–XX vv. [Bibliography on logic. Logical works publishe in Russian language in the USSR within XVIII–XX]. Kiev: Akad. Nauk Ukrain. SSR, 1955. 95 pp. (In Russian)
Salii, 1988 – Salii, V.N. “Lattices with Unique Complements”, in: Translations of Mathematical Monographs, Vol. 69, transl. by G.A. Kandall. Providence: American Mathematical Society, 1988. XI, p. 113.
Schumann, 2013 – Logic in Central and Eastern Europe, 2013 Logic in Central and Eastern Europe: History, Science, and Discourse, ed. by A. Schumann. Lanham: University press of America, 2013. 730 pp.
Silver, 1987 – “Six Papers in Logic”, in: American Mathematical Society Translations (2), Vol. 135, ed. by B. Silver. Providence: American Mathematical Society, 1987. X, p. 79.
Smirnov, 1971 – Smirnov, V.A. “Elimination des termes dans là logique intuitionniste”, Revue internationale de philosophie, 1971, No. 98, Fasc. 4, pp. 512–519.
Smirnov, 1973 – Smirnov, V.A. “An Absolute First Order Predicate Calculus”, Bull. of the Section of Logic, 1973, Vîl. 3, pp. 38–45.
Smirnov, 1979 – Smirnov, V.A. “Theory of Quantification and e-calculi”, Essays on Mathematical and Philosophical Logic. Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyv¨askyl¨a, Finland, June 29–July 6, 1976, J. Hintikka, I. Niiniluoto, E. Saarinen (eds.). Dordrecht; Holland; Boston: D. Reidel, 1979, pp. 41–47.
Smirnov, 1982 – Smirnov, V.A. “The Definition of Modal Operators bó Måans of Tense Operators”, Acta Philosophica Fennica, 1982, Vol. 35: Intensional Logic: Theory and Applications, pp. 50–69.
Smirnov, 1983 – Smirnov, V.A. “Embedding the Elementary Ontology of S. Lesniewski into the Monadic Second Order Calculus of Predicates”, Studia Logica, 1983, Vol. 42, No. 2–3, pp. 197–207.
Smirnov, 1986a – Smirnov, V.A. “Logical Relations Between Theories”, Synthese, 1986, Vol. 66, No. 1, pp. 71–87.
Smirnov, 1986b – Smirnov, V.A. “Modality de rå and Vasiliev’s Imaginary Logics”, Logique et Analyse, 1986, Vol. 45, No. 114, pp. 205–211.
Smirnov, 1987 – Smirnov, V.A. “Strict Embedding of the Elementary Ontology into the Monadic Second-Order Calculus of the Predicates Admitting the Empty Individual Domain”, Studia Logica, 1987, Vol. 46, No. 1, pp. 1–15.
Smirnova, 1997 – Smirnova, E.D. “Scaffolding” of the World and Logic. A Logical-Semantic Analysis of Wittgenstein’s Tractatus”, Analyomen 2. Proceedings of the 2nd Conference “Perspectives in Analytical Philosophy”, Vol. 2. Berlin; New York:1997, pp. 241–247.
Smirnova, 1998 – Smirnova, E.D. “An approach to nonstandard semantics and some problems of the foundation of logical systems”, Bull. of the Section of Logic, 1998, Vol. 27, No. 1/2, pp. 82–84.
Smirnova, 2000a – Smirnova, E.D. Logic in Philosophy and Philosophical Logic. New York: The Edwin Mellen press Ltd., 2000a. 392 pp.
Smirnova, 2000b – Smirnova, E.D. “An approach to the justification of semantics to paraconsistent logics”, in: Frontiers of Paraconsistent Logic, D. Batens, Image of Soviet and Russian logic in the West. Latter half of the XXth century 151 C. Mortensen, G. Priest, J.-P. Van Bendegem (eds.), No. 8. Baldock: Research Studies Press Ltd., 2000, pp. 255–262.
Smirnova, 2001 – Smirnova, E.D. “The problem of formalization of some nonstandard semantics”, Logic and Logical Philosophy, 2001, Vol. 9, pp. 153–157.
Stolyar, 1970 – Stolyar, A.A. Introduction to Elementary Mathematical Logic, trans. by Scripta Technica, Inc., ed. by E. Mendelson. Cambridge; MA; London: MIT Press, 1970. 209 pp.
Stolyar, 1983 – Stolyar, A.A. Introduction to Elementary Mathematical Logic. New York: Dover Pub-lications, 1983. 209 pp.
Styazhkin, 1969 – Styazhkin, N.I. History of Mathematical Logic from Leibniz to Peano. Cambridge; MA; London: MIT Press, 1969. 344 pp.
Styazhkin, 1980 – Styazhkin, N.I. Storia della logica. Roma: Editrori Riuniti, 1980. 331 pp.
Styazhkin, Silakov, 1962 – Styazhkin, N.I., Silakov V.D. Kratkii ocherk istorii obshchei i matematicheskoi logiki v Rossii [Concise essay on history of general and mathematical logic in Russia]. Moscow: Vysshchaya Shkola, 1962. 88 pp. (In Russian)
Thiel, 1991 – Thiel, Ch. Projektantrag: Mathematische Logik in Russland. Universit¨at Erlangen-N¨urnberg, 1991. 12 pp.
Uspenskii, 1974 – Uspenskii, V.A. “Teorema G¨edelia o nepolnote v elementarnom izlozhenii” [Godel’s incompleteness theorem in elementary form], Uspehi Matematicheskih Nauk, 1974, Vol. 29, No. 1, pp. 1–47. (In Russian)
Uspenskii, 1983 – Uspenskii, V.A. Post’s Machine. English trans. by R. Alavina. Moscow: Mir, 1983. 88 pp.
Uspenskii, 1987 – Uspenskii, V.A. G¨odel’s Incompleteness Theorem. English translation by N. Koblitz. Moscow Mir, 1987. 104 pp.
van Heijenoort, 1967 – From Frege to G¨odel: A Source Book in Mathematical Logic, 1879–1931, ed. by J. van Heijenoort. Cambridge; MA: Harvard University Press, 1967. 664 pp.
Vasilev, 1993 – Vasilev, N. “Logic and metalogic”, Axiomathes, 1993, No. 3, pp. 329–351. (Transl. by Vasyukov V.L.)
Vasyukov, 1988 – Vasyukov, V.L. “T-F-toposes for Lukasiewicz’s infinite valued logics”, Bull. Sect. Logic, 1988, Vol. 17, No. 3/4, pp. 182–190.
Vasyukov, 1993 – Vasyukov, V.L. “A Lesniewskian Guide to Husserl’s and Meinong’s jungle”, Axiomathes, 1993, No. 1, pp. 59–74.
Vasyukov, 1994 – Vasyukov, V.L. “From Ternary to Tetrary?”, Bull. Sect. Logic, 1994, Vol. 23, No. 4, pp. 163–167.
Vasyukov, 1996 – Vasyukov, V.L. “In Memoriam: Vladimir Aleksandrovich Smirnov”, Bull. of Symbolic Logic, 1996, No. 2, pp. 371–372.
Walicki, 1979 – Walicki, A. A History of Russian Thought from the Enlightenment
to Marxism, Image of Soviet and Russian logic in the West. Latter half of the XXth century 151 C. Mortensen, G. Priest, J.-P. Van Bendegem (eds.), No. 8. Baldock: Research Studies Press Ltd., 2000, pp. 255–262.
Smirnova, 2001 – Smirnova, E.D. “The problem of formalization of some nonstandard semantics”, Logic and Logical Philosophy, 2001, Vol. 9, pp. 153–157.
Stolyar, 1970 – Stolyar, A.A. Introduction to Elementary Mathematical Logic, trans. by Scripta Technica, Inc., ed. by E. Mendelson. Cambridge; MA; London: MIT Press, 1970. 209 pp.
Stolyar, 1983 – Stolyar, A.A. Introduction to Elementary Mathematical Logic. New York: Dover Pub-lications, 1983. 209 pp.
Styazhkin, 1969 – Styazhkin, N.I. History of Mathematical Logic from Leibniz to Peano. Cambridge; MA; London: MIT Press, 1969. 344 pp.
Styazhkin, 1980 – Styazhkin, N.I. Storia della logica. Roma: Editrori Riuniti, 1980. 331 pp.
Styazhkin, Silakov, 1962 – Styazhkin, N.I., Silakov V.D. Kratkii ocherk istorii obshchei i matematicheskoi logiki v Rossii [Concise essay on history of general and mathematical logic in Russia]. Moscow: Vysshchaya Shkola, 1962. 88 pp. (In Russian)
Thiel, 1991 – Thiel, Ch. Projektantrag: Mathematische Logik in Russland. Universit¨at Erlangen-N¨urnberg, 1991. 12 pp.
Uspenskii, 1974 – Uspenskii, V.A. “Teorema G¨edelia o nepolnote v elementarnom izlozhenii” [Godel’s incompleteness theorem in elementary form], Uspehi Matematicheskih Nauk, 1974, Vol. 29, No. 1, pp. 1–47. (In Russian)
Uspenskii, 1983 – Uspenskii, V.A. Post’s Machine. English trans. by R. Alavina. Moscow: Mir, 1983. 88 pp.
Uspenskii, 1987 – Uspenskii, V.A. G¨odel’s Incompleteness Theorem. English translationby N. Koblitz. Moscow: Mir, 1987. 104 pp.
van Heijenoort, 1967 – From Frege to G¨odel: A Source Book in Mathematical Logic,1879–1931, ed. by J. van Heijenoort. Cambridge; MA: Harvard University Press,1967. 664 pp.
Vasilev, 1993 – Vasilev, N. “Logic and metalogic”, Axiomathes, 1993, No. 3, pp. 329–351. (Transl. by Vasyukov V.L.)
Vasyukov, 1988 – Vasyukov, V.L. “T-F-toposes for Lukasiewicz’s infinite valued logics”,Bull. Sect. Logic, 1988, Vol. 17, No. 3/4, pp. 182–190.
Vasyukov, 1993 – Vasyukov, V.L. “A Lesniewskian Guide to Husserl’s and Meinong’s jungle”, Axiomathes, 1993, No. 1, pp. 59–74.
Vasyukov, 1994 – Vasyukov, V.L. “From Ternary to Tetrary?”, Bull. Sect. Logic, 1994, Vol. 23, No. 4, pp. 163–167.
Vasyukov, 1996 – Vasyukov, V.L. “In Memoriam: Vladimir Aleksandrovich Smirnov”, Bull. of Symbolic Logic, 1996, No. 2, pp. 371–372.
Walicki, 1979 – Walicki, A. A History of Russian Thought from the Enlightenment to Marxism, trans. from the Polish by H. Andrews-Rusiecka. Stanford: StanfordUniversity Press, 1979. 456 pp.
Weidle, 1961 – Weidle, W. Russia Absent and Present. New York: Vintage Books,1961. 164 pp.
Winkelmann, 1956 – Winkelmann, A. “Die Stellung der formalen Logik im Sowjetunion”,Scholastik, 1956, Vol. 1, pp. 85–89.
Winkelmann, 1957 – Winkelmann, A. “Formal logic in Soviet philosophy”, Philosophy Today, 1957, Vol. 1, pp. 26–28.
Yaglom, 1978 – Yaglom, I.M. An Unusual Algebra. Moscow: Mir, 1978. 128 pp. (Englishtrans. by I.G. Volosova.)
Yanovskaya, 1948 – Yanovskaya, S.A. “Osnovaniya matematiki i matematicheskaya logika” [Foundations of mathematics and mathematical logic], in: Matematiki v SSSR za tridcat let, 1917–1947 [Mathematics in the USSR from 1917 to 1947],
A.G. Kurosh, A.I. Markushevich, P.K. Rashevskii (eds.). Moscow; Leningrad: GITTL, 1948, pp. 9–50. (In Russian)
Yanovskaya, 1959 – Yanovskaya, S.A. “Matematicheskaya logiki i osnovani matematiki” [Foundations of mathematics and mathematical logic], in: Matematika v SSSR za sorok let, 1917–1957 Mathematics in the USSR from 1917 to 1957, tm. 1.Moscow: Fiz-matgiz., 1959, pp. 13–120. (In Russian)
Yushkevich, 1968 – Yushkevich, A.P. Istoriya v matematiki v Rossii do 1917 goda [History of mathematics in Russia until 1917]. Moscow: Nauka, 1968. 592 pp.(In Russian)
Zinov’ev, 1963 – Zinov’ev, A.A. Philosophical Problems of Many-Valued Logic. Netherlands:Springer, 1963. 155 pp.
Zinov’ev, 1968 – Zinov’ev, A.A. “Logic in the USSR”, in: Contemporary Philosophy, A Survey, I. Logic and Foundations of Mathematics, ed. by R. Klibansky. Firenza: La Nova Italia Editrice, 1968, pp. 209–219.
Zinov’ev, 1973 – Zinov’ev, A.A. Foundations of the Logical Theory of Scientific Knowledge (Complex Logic). Ed. by T. Blakeley. Netherlands: Springer, 1973. 301 pp.
Zinov’ev, 1983 – Zinov’ev, A.A. Logical Physics. Ed. by R.S. Cohen. Netherlands: Springer, 1983. 282 pp.
Zozulya, Fomin, 1955 – Zozulya, A.M., Fomin O.P. “Nedobrokachestvennyi ukazatel’po logike” [Poor bibliography on logic], Sovetskaya bibliografiya [Soviet Bibliography],1955, No. 41, pp. 82–86. (In Russian)