Bibliography: History of Logic in Eastern Europe

Bibliography: The History of Logic in Eastern Europe collected by Máté Szabó I would like to continuously expand this bibliography. If you know of any items that are not in the list currently, or have any suggestions, please contact me at mszabo@andrew. cmu.edu This bibliography collects sources in English about the history of logic in Eastern Europe. Hence, most papers, collections and books are secondary sources. Primary sources are included only if they are collections of essays (mostly) from Eastern European scholars, are complete books on logic by an Eastern European scholar, or are their collected (or selected) works. `Logic' is understood rather broadly. That is, it includes not only mathematical logic, but philosophical logic, automated theorem proving and other strongly connected elds as well. Papers that focus on philosophy of science or education, etc., are included in this list only if a signicant part of the paper is devoted to logic. To make the document more comprehensible, papers are gathered together by coun- tries or regions. The rst section contains papers which address the history of logic in Eastern Europe as a whole, or at least several countries of it. It seemed reasonable to present the papers on/from former Czechoslovakia and former Yugoslavia in one section. On the other hand, former members of the Soviet Union, such as the Baltic countries and Ukraine are presented separately, while the papers addressing logic in the Soviet Union as a whole are collected together with those about Russia. The presentation of names is not entirely unied as of the moment; they appear here as they do on the websites of the sources. Please excuse any misspellings and let me know of them. In those cases where a book has two publication dates, e.g. 1951/1988, the rst one is its original date of publication while the second is the date of the rst edition in English. 1  Since some collections of essays are included, in certain cases I found it to be helpful to list selected essays from these collections as well. I would like to thank Patrick Walsh for editing this bibliography. Bibliography General Eastern Europe Schumann, Andrew (2012). Logic in Central and Eastern Europe. The Social Context. In: Review of the National Center for Digitization 20, pp. 19.  ed. (2013). Logic in Central and Eastern Europe. University Press of America. Thompson, Paul B. (1981). Bolzano's deducibility and Tarski's logical consequence. In: History and Philosophy of Logic 2.1-2, pp. 1120. Zeman, Vladimir (1970). The philosophy of science in Eastern Europe a concise survey. In: Zeitschrift für allgemeine Wissenschaftstheorie 1 (1), pp. 133141. Baltic countries: Estonia, Latvia, Lithuania Knoks, Aleks and Jurg̀is ’kilters (2013). Logic in Latvia. In: Logic in Central and , Eastern Europe. Ed. by Andrew Schumann. University Press of America, pp. 172 182. Norg ela, Stanislovas (2013). Mathematical Logic in Lithuania. In: Logic in Central and Eastern Europe. Ed. by Andrew Schumann. University Press of America, pp. 183 193. Ple£kaitis, Romanas (2013). The Development of Logic in Lithuania. In: Logic in Cen- tral and Eastern Europe. Ed. by Andrew Schumann. University Press of America, pp. 139151. Tamme, Tõnu (2013). Logic in Estonia. In: Logic in Central and Eastern Europe. Ed. by Andrew Schumann. University Press of America, pp. 166171. Bulgaria Nikolova, Stela (2014). Shared thoughts on Ivan Soskov (19542013). In: Computability 3.1, pp. 6372. Skordev, Dimiter (2004). Some short historical notes on Development of Mathematical Logic in Soa. In: Annuaire de l'Univ. de Soa, Fac. de Math. et Inf. 96, pp. 1121. 2 Tabakov, Martin (2013a). The Development of Mathematical Logic in Bulgaria. In: Logic in Central and Eastern Europe. Ed. by Andrew Schumann. University Press of America, pp. 560572.  (2013b). The Development of Philosophical Logic in Bulgaria. In: Logic in Central and Eastern Europe. Ed. by Andrew Schumann. University Press of America. (Former) Czechoslovakia, Czech Republic, Slovakia Bar-Hillel, Yehoshua (1952). Bolzano's propositional logic. In: Archiv für mathematis- che Logik und Grundlagenforschung 1.3, pp. 6598. Bukovský, Lev (1997). Logic in Czechoslovakia and Hungary. In: Logic and Scientic Methods. Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995. Ed. by Dalla Chiara, Kees Doets, Daniele Mundici, and Johan van Benthem, pp. 451456. Centrone, Stefania (June 2016). Early Bolzano on Ground-Consequence Proofs. In: The Bulletin of Symbolic Logic 22.2, pp. 215237. Duºí, Marie and Bjørn Jespersen (2014). In memory of Pavel Tichý. In: Organon F 21.4, pp. 558566. Haniková, Zuzana (2015). Petr Hájek: A Scientic Biography. In: Petr Hájek on Math- ematical Fuzzy Logic. Outstanding Contributions to Logic, vol 6. Springer, pp. 21 38. Novák, Vilém (2013). A Concise Glance at the History of Fuzzy Logic in Czechia (with a glimpse of the origin of data-mining the GUHA method). In: Logic in Central and Eastern Europe. Ed. by Andrew Schumann. University Press of America, pp. 526 542. Raclavský, Ji°í (2008a). Introduction to Pavel Tichý's Philosophy and Logic. In: Philo- sophical Wonderings. Ed. by B°etislav Horyna. Olomouc: Nakladatelství Olomouc, pp. 4350.  (2008b). Reformulating Tichý's Conception of Bare Individuals. In: Organon F 15.2, pp. 143167.  (2010). On Partiality and Tichý's Intensional Logic. In: Hungarian Philosophical Review 54.4, pp. 120128.  (2013). On the Czech Logic in the 20th Century. In: Logic in Central and Eastern Europe. Ed. by Andrew Schumann. University Press of America, pp. 283291.  (2014). Tichý's Possible Worlds. In: Organon F 21.4, pp. 471491. Rusnock, Paul and Rolf George (2004). Bolzano as Logician. In: Handbook of the History of Logic: The Rise of Modern Logic: from Leibniz to Frege. Ed. by Dov M. Gabbay and John Woods. Vol. 3. North-Holland. Thompson, Paul B. (1981). Bolzano's deducibility and Tarski's logical consequence. In: History and Philosophy of Logic 2.1-2, pp. 1120. 3 Tichý, Pavel (1988). The foundations of Frege's logic. Walter de Gruyter: Berlin, New York.  (2004). Collected Papers in Logic and Philosophy. University of Otago Press. Zouhar, Marián (2013). On Some Slovak Contributions to Non-Classical Logics. In: Logic in Central and Eastern Europe. Ed. by Andrew Schumann. University Press of America, pp. 543559. Hungary Andréka, Hajnal (1987). Rózsa Péter (19051977). In: Women of Mathematics. A Bib- liographic Sourcebook. Ed. by Louise S. Grinstein and Paul J. Campbell. New York: Greenwood Press, pp. 171174. Franchella, Miriam (Mar. 2000). Towards a Re-Evaluation of Julius K®nig's Contribu- tion to Logic. In: The Bulletin of Symbolic Logic 6.1, pp. 4566.  (Feb. 2016). In the footsteps of Julius K®nig's paradox. In: Historia Mathematica 43.1, pp. 6586. Guillaume, Marcel (2008). Some of Julius K®nig's mathematical dreams in his New Foundations of Logic, Arithmetic, and Set Theory. In: One Hundred Years of In- tuitionism (1907-2007). Ed. by Michel Bourdeau Mark van Atten Pascal Boldini and Gerhard Heinzmann. Birkhäuser: Publications of the Herni Poincaré Archives, pp. 178197. Gurka, Dezs® (2006). A missing link: The inuence of László Kalmár's empirical view on Lakatos' philosophy of mathematics. In: Perspectives on Science 14.3, pp. 263281. Kanamori, Akihiro (Dec. 2014). Erd®s and Set Theory. In: The Bulletin of Symbolic Logic 20.4, pp. 449490. Makay, Árpád (2007). The activities of László Kalmár in the world of information technology. In: Acta Cybernetica 18.1, pp. 914. Máté, András (2010). Imre Ruzsa - A Man of Consequence. In: Magyar Filozóai Szemle 54.4, pp. 718. Máté, András, Hajnal Andréka, and István Németi (2013). The Development of Sym- bolic Logic in Hungary. In: Logic in Central and Eastern Europe. Ed. by Andrew Schumann. University Press of America, pp. 202217. Morris, Edie and Leon Harkleroad (1990). Rózsa Péter: Recursive Function Theory's Founding Mother. In: Mathematical Intelligencer 12.1, pp. 5964. Péter, Rózsa (1981). Recursive Functions in Computer Theory. Trans. by I. Juhász. Computers and Their Applications. Ellis Horwood Limited.  (1943/1957). Playing with Innity. Trans. by Zoltán P. Dienes. Dover Publications: New York. Péter, Rózsa (1951/1967). Recursive Functions. Trans. by István Földes. Academic Press: New York and London. 4 Smith, Barry (2014). Austrian and Hungarian Philosophy: On the Logic of Wittgenstein and Pauler. In: Mind, Values and Metaphysics. Philosophical Papers Dedicated to Kevin Mulligan. Ed. by Anne Reboul. Springer, pp. 387406. Szabó, Máté (2015). Kalmár and Péter: Undecidability as a Consequence of Incomplete- ness. In: Evolving Computability, Proceedings of the 11th CiE. Ed. by Mariya Soskova Arnold Beckmann Victor Mitrana. LNCS. Computability in Europe. Springer, pp. 343 352. Tamássy, István (1994). Interview with Rózsa Péter. In: Modern Logic 4.3, pp. 277280. Ujlaki, Gabriella (1994). Philosophy of science in Hungary. In: Journal for General Philosophy of Science 25 (1), pp. 157175. Poland Ajdukiewicz, Kazimierz (1974). Pragmatic Logic. Synthese Library. PWNPolish Scien- tic PublishersWarszawa.  (1978). The Scientic World-Perspective and Other Essays, 19311963. Ed. by J. Giedymin. Springer. Anellis, Irving H. (1996a). Józef Maria Boche«ski (19021995). In: Modern Logic 6.2, pp. 192196. Asenjo, F. G. (1977). Le±niewski's Work and Nonclassical Set Theories. In: Studia Logica 36.4, pp. 249255. Balcerzyk, Stanisªaw, Wiktor Bartol, Ewa Orªowska, Andrzej Wieczorek, and Agnieszka Wojciechowska-Waszkiewicz (Aug. 2000). Jerzy Šo± 19201998. In: Studia Logica 65.3, pp. 301314. Bartol, Wiktor, Ewa Orªowska, and Andrzej Skowron (1995). Helena Rasiowa, 1917 1994. In: Modern Logic 5.3, pp. 231247. Batóg, Tadeusz and Roman Murawski (1996). Stanisªaw Pi¡tkiewicz and the Beginnings of Mathematical Logic in Poland. In: Historia Mathematica 23.1, pp. 6873. Biacino, Loredana and Giangiacomo Gerla (1996). Connection Structures: Grzegor- czyk's and Whitehead's Denitions of Point. In: Notre Dame Journal of Formal Logic 37.3, pp. 431439. Bloom, Stephen L. (1984). Roman Suszko: A Reminiscence. In: Studia Logica 43.4, p. 313. Borkowski, L. and J. Sªupecki (1958). The Logical Works of J. Šukasiewicz. In: Studia Logica T. 8, pp. 756. Buszkowski, Wojciech (1998). The Ajdukiewicz Calculus, Polish Notation and Hilbert- Style Proofs. In: The Lvov-Warsaw School and Contemporary Philosophy. Ed. by Katarzyna Kijania-Placek and Jan Wole«ski. Vol. Synthese Library 273. Springer, pp. 241252. Chwistek, Leon (1925). The Theory of Constructive Types. Cracow University Press. 5 Cocchiarella, Nino B. (2001). A conceptualist interpretation of Le±niewski's ontology. In: History and Philosophy of Logic 22.1, pp. 2943. Cohen, Robert S. (1994a). Kazimierz Twardowski (1866-1938), The Creator of the Lwów-Warsaw School (LWS). In: Zygmunt Zawirski: His Life and Work (With Se- lected Writings on Time, Logic and the Methodology of Science). Ed. by Irena Szumilewicz- Lachman and Robert S. Cohen. Trans. by Feliks Lachman. Vol. Boston Studies in the Philosophy of Science 157. Springer, pp. 814.  (1994b). The Lwów-Warsaw School (1895 -1939). In: Zygmunt Zawirski: His Life and Work (With Selected Writings on Time, Logic and the Methodology of Science). Ed. by Irena Szumilewicz-Lachman and Robert S. Cohen. Trans. by Feliks Lachman. Vol. Boston Studies in the Philosophy of Science 157. Springer, pp. 1518.  (1994c). The LWS and the Vienna Circle (VC). In: Zygmunt Zawirski: His Life and Work (With Selected Writings on Time, Logic and the Methodology of Science). Ed. by Irena Szumilewicz-Lachman and Robert S. Cohen. Trans. by Feliks Lachman. Vol. Boston Studies in the Philosophy of Science 157. Springer, pp. 1932.  (1994d). Zygmunt Zawirski: A Short Bio-Bibliography (28. IX.1882 - 2. IV.1948). In: Zygmunt Zawirski: His Life and Work (With Selected Writings on Time, Logic and the Methodology of Science). Ed. by Irena Szumilewicz-Lachman and Robert S. Cohen. Trans. by Feliks Lachman. Vol. Boston Studies in the Philosophy of Science 157. Springer, pp. 3378. Costa, Newton C. A. da, Jean-Yves Béziau, and Otávio A. S. Bueno (1996). Mali- nowski and Suszko on many-valued logics: on the reduction of many-valuedness to two-valuedness. In: Modern Logic 6.3, pp. 272299. Cresswell, M. J. (1977). Categorial Languages. In: Studia Logica 36.4, pp. 257269. Dresner, Eli (1999). Quine's Philosophy of Language and Polish Logic. In: History and Philosophy of Logic 20.2, pp. 7996. Dubikajtis, Lech (1975). The Life and Works of Stanisªaw Ja±kowski. In: Studia Logica 34.2, pp. 109116. Duda, Roman (2014). Pearls from a Lost City: The Lvov School of Mathematics. History of Mathematics 40. American Mathematical Society. Ehrenfeucht, Andrzej, Victor W. Marek, and Marian Srebrny, eds. (2008). Andrzej Mostowski and Foundational Studies. IOS Press: Amsterdam. Feferman, Anita Burdman and Solomon Feferman (2004). Alfred Tarski: Life and Logic. Cambridge University Press. Font, Josep Maria and Petr Hájek (Mar. 2002). On Šukasiewicz's Four-Valued Modal Logic. In: Studia Logica 70.2, pp. 157182. Grabowski, Adam, Artur Korniªowicz, and Adam Naumowicz (2015). Four Decades of MIZAR. In: Journal of Automated Reasoning: Special Issue: 40 Years of Mizar and Beyond 55 (3), pp. 191198. 6 Guma«ski, Leon (1981). Tadeusz Cze»owski's Logical Writings. In: Studia Logica 40.2, pp. 203207. Hi», H. (1977). Descriptions in Russell's Theory and in Ontology. In: Studia Logica 36.4, pp. 271283. Indrzejczak, Andrzej (1998). Ja±kowski and Gentzen Approaches to Natural Deduc- tion and Related Systems. In: The Lvov-Warsaw School and Contemporary Philoso- phy. Ed. by Katarzyna Kijania-Placek and Jan Wole«ski. Vol. Synthese Library 273. Springer, pp. 253264. Ishimoto, Arata (1977). A Propositional Fragment of Le±niewski's Ontology. In: Studia Logica 36.4, pp. 285299. Iwanu±, Bogusªaw (1972). On Le±niewski's Elementary Ontology. In: Studia Logica T. 31, pp. 73125. Jadacki, Jacek Juliusz and Jacek Pa±niczek, eds. (2006). The Lvov-Warsaw School: The New Generation. Rodopi: Amsterdam, New York. Jadczak, Ryszard (1998). Inspirations and Controversies: From the Letters Between K. Twardowski and A. Meinong. In: The Lvov-Warsaw School and Contemporary Phi- losophy. Ed. by Katarzyna Kijania-Placek and Jan Wole«ski. Vol. Synthese Library 273. Springer, pp. 4352. Kaminski, Stanislaw (1977). The development of logic and the philosophy of science in Poland after the Second World War. In: Zeitschrift für allgemeine Wissenschaftsthe- orie 8 (1), pp. 163171. Karpenko, Alexander S. (2014). Many-valued Logic in Poland: The Golden Age. In: The History and Philosophy of Polish Logic: Essays in Honour of Jan Wole«ski. Ed. by Katarzyna Kijania-Placek Kevin Mulligan and Tomasz Placek. Palgrave Macmillan, pp. 1348. Kearns, John T. (1967). The contribution of Le±niewski. In: Notre Dame Journal of Formal Logic 8.1-2, pp. 6193. Kijania-Placek, Katarzyna (1998). Truth As Consensus. A Logical Analysis. In: The Lvov-Warsaw School and Contemporary Philosophy. Ed. by Katarzyna Kijania-Placek and Jan Wole«ski. Vol. Synthese Library 273. Springer, pp. 343353.  (2009). Nonclassical Conceptions of Truth in Polish Philosophy at the Beginning of the 20th Century. In: The Golden Age of Polish Philosophy. Kazimierz Twardowski's Philosophical Legacy. Ed. by Mathieu Marion Sandra Lapointe Jan Wolénski and Wioletta Miskiewicz. Logic, Epistemology, and the Unity of Science 16. Springer, pp. 191202. Kijania-Placek, Katarzyna and Jan Wole«ski, eds. (1998). The Lvov-Warsaw School and Contemporary Philosophy. Vol. Synthese Library 273. Springer. Kopiecki, Ryszard, Bogdan Sabalski, and Gerald Waligóra (1975). The Research of Ja±kowski on Decidability Theory of First Order Sentences (I). In: Studia Logica 34.2, pp. 201214. 7 Kordos, Marek, Maria Moszy«ska, Lesªaw W. Szczerba, and J. Smólska (1977). Wanda Szmielew 1918-1976. In: Studia Logica 36.4, pp. 241244. Kotarbi«ski, Tadeusz (1958). Jan Šukasiewicz's Works on the History of Logic. In: Studia Logica T. 8, pp. 5763.  (1963). Kazimierz Ajdukiewicz (1890-1963). In: Studia Logica T. 14, pp. 79. Kotas, Jerzy and August Pieczkowski (1967). Scientic Works of Stanisªaw Ja±kowski. In: Studia Logica T. 21, pp. 715. Küng, Guido (1977). The Meaning of the Quantiers in the Logic of Le±niewski. In: Studia Logica 36.4, pp. 309322. Kuratowski, Kazimierz (1973). A Half Century of Polish Mathematics. International Series in Pure and Applied Mathematics 108. Pergamon Press. Lejewski, Czesªaw (1977). Systems of Le±niewski's Ontology with the Functor of Weak Inclusion as the Only Primitive Term. In: Studia Logica 36.4, pp. 323349. Linsky, Bernard (2004). Leon Chwistek on the no-classes theory in Principia Mathe- matica. In: History and Philosophy of Logic 25.1, pp. 5371.  (2009). Leon Chwistek's Theory of Constructive Types. In: The Golden Age of Polish Philosophy. Kazimierz Twardowski's Philosophical Legacy. Ed. by Mathieu Marion Sandra Lapointe Jan Wolénski and Wioletta Miskiewicz. Logic, Epistemology, and the Unity of Science 16. Springer, pp. 203219. Lorenz, Kuno (1977). On the Relation between the Partition of a Whole into Parts and the Attribution of Properties to an Object. In: Studia Logica 36.4, pp. 351362. Šukasiewicz, Jan (1957). Aristotle's syllogistic from the standpoint of modern formal logic. Oxford University Press.  (1964). Elements of Mathematical Logic. Elsevier.  (1970). Selected Works. Ed. by L. Borkowski. Trans. by O. Wojtasiewicz. Studies in Logic and the Foundations of Mathematics. North-Holland: Amsterdam. Malinowski, Grzegorz (1984). Roman Suszko: A Sketch of a Portrait in Logic. In: Studia Logica 43.4, p. 315. Marek, Wiktor, Marian Srebrny, and Andrzej Zarach (1976). Curriculum vitae of A. Mostowski. In: Set Theory and Hierarchy Theory A Memorial Tribute to Andrzej Mostowski. Bierutowice, Poland, 1975. LectureNotes in Mathematics 537. Springer. Maria Kokoszy«ska-Lutman (1905-1981) (1981). In: Studia Logica 40.4, pp. 313314. Matuszewski, Roman and Piotr Rudnicki (2005). MIZAR: the rst 30 years. In: Mech- anized Mathematics and Its Applications 4.1, pp. 324. McCall, Storrs, ed. (1967/2005). Polish logic, 1920-1939. (Papers by Ajdukiewicz, Chwis- tek, Ja±kowski, Jordan, Le±niewski, Šukasiewicz, Sªupecki, Soboci«ski and Wajsberg). Oxford University Press. McFarland, Andrew, Joanna McFarland, and James Smith (2014). Alfred Tarski: Early Work in PolandGeometry and Teaching. Birkhäuser. 8 Mostowski, Andrzej (1966). Thirty years of foundational studies; lectures on the devel- opment of mathematical logic and the study of the foundations of mathematics in 1930-1964. Polish Scientic Publishers PWN.  (1979). Foundational Studies: Selected Works in Two Volumes. Polish Scientic Pub- lishers PWN, North-Holland. Murawski, Roman (1995). The Contribution of Zygmunt Ratajczyk to the Foundations of Arithmetic. In: Notre Dame Journal of Formal Logic 36.4, pp. 502504.  (1996). Contributions of Polish logicians to decidability theory. In: Modern Logic 6.1, pp. 3766.  (1998). The Contribution of Polish Logicians to Recursion Theory. In: The Lvov- Warsaw School and Contemporary Philosophy. Ed. by Katarzyna Kijania-Placek and Jan Wole«ski. Vol. Synthese Library 273. Springer, pp. 265282.  (2013). Philosophy of Mathematics in Poland in the 20th Century. In: Logic in Central and Eastern Europe. Ed. by Andrew Schumann. University Press of America, pp. 152165.  (2014). The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland. Science Networks Historical Studies. Birkhäuser. Pacholski, Leszek (Mar. 2000). In Memoriam: Jerzy Šo± (19201998). In: The Bulletin of Symbolic Logic 6.1, pp. 97100. Pakszys, El»bieta (1998). Women's Contributions to the Achievements of the Lvov- Warsaw School: A Survey. In: The Lvov-Warsaw School and Contemporary Philoso- phy. Ed. by Katarzyna Kijania-Placek and Jan Wole«ski. Vol. Synthese Library 273. Springer, pp. 5571. Perzanowski, Jerzy (1983). Izydora D¡mbska (19041983). In: Studia Logica 42.4, pp. 379381. Poli, Roberto and Massimo Libardi (1998). Le±niewski's Conception of Logic. In: The Lvov-Warsaw School and Contemporary Philosophy. Ed. by Katarzyna Kijania-Placek and Jan Wole«ski. Vol. Synthese Library 273. Springer, pp. 139152. Prakel, Judith M. (1977). Some Preliminary Suggestions for the Mirroring of Non- Metaphysical Modalities in Le±niewski's Ontology. In: Studia Logica 36.4, pp. 363 376. Rasiowa, Helena (Nov. 1994). Cecylia Rauszer. In: Studia Logica 53.4, pp. 467471. Rasiowa, Helena and Wiktor Marek (1977). In Memory of Andrzej Mostowski. In: Studia Logica 36.1-2, pp. 18. Rickey, V. Frederick (1977). A survey of Le±niewski's Logic. In: Studia Logica 36.4, pp. 407426. Rojszczak, Artur (1998). Truth-bearers from Twardowski to Tarski. In: The Lvov- Warsaw School and Contemporary Philosophy. Ed. by Katarzyna Kijania-Placek and Jan Wole«ski. Vol. Synthese Library 273. Springer, pp. 7384. 9 Simons, Peter M. (1982). On Understanding Le±niewski. In: History and Philosophy of Logic 3.2, pp. 165191.  (1989). Šukasiewicz, Meinung and Many-Valued Logic. In: The Vienna Circle and the Lvov-Warsaw School. Ed. by Klemens Szaniawski. Springer, pp. 249291.  (2009). Le±niewski's Logic. In: Handbook of the History of Logic: Logic from Russell to Church. Ed. by Dov M. Gabbay and John Woods. Vol. 5. North-Holland. Sinaceur, Hourya Benis (2009). Tarski's Practice and Philosophy: Between Formal- ism and Pragmatism. In: Logicism, Intuitionism, and Formalism. Ed. by Krister Segerberg Sten Lindström Erik Palmgren and Viggo Stoltenberg-Hansen. Synthese Library 341. Springer, pp. 357396. Sinisi, Vito F. (1966). Le±niewski's analysis of Whitehead's theory of events. In: Notre Dame Journal of Formal Logic 7.4, pp. 323327.  (1969). Le±niewski and Frege on collective classes. In: Notre Dame Journal of Formal Logic 10.3, pp. 239246. Sªupecki, J., G. Bryll, and T. Prucnal (1967). Some Remarks on Three-Valued Logic of J. Šukasiewicz. In: Studia Logica T. 21, pp. 4570. Smith, Barry (1989). Kasimir Twardowski: An Essay on the Borderlines of Ontology, Psychology and Logic. In: The Vienna Circle and the Lvov-Warsaw School. Ed. by Klemens Szaniawski. Springer, pp. 313373. Suszko, Roman (1977). The Fregean Axiom and Polish Mathematical Logic in the 1920s. In: Studia Logica 36.4, pp. 377380. Szaniawski, Klemens (1982). Tadeusz Kotarbi«ski (1886-1981). In: Studia Logica 41.1, pp. 12.  ed. (1989). The Vienna Circle and the Lvov-Warsaw School. Springer. Szumilewicz-Lachman, Irena and Robert S. Cohen, eds. (1994). Zygmunt Zawirski: His Life and Work (With Selected Writings on Time, Logic and the Methodology of Sci- ence). Trans. by Feliks Lachman. Vol. Boston Studies in the Philosophy of Science 157. Springer. Thompson, Paul B. (1981). Bolzano's deducibility and Tarski's logical consequence. In: History and Philosophy of Logic 2.1-2, pp. 1120. Trybus, Adam (2012). Leon Chwistek, The Principles of the Pure Type Theory (1922), translated by Adam Trybus with an Introductory Note by Bernard Linsky. In: His- tory and Philosophy of Logic 33.4. Trz¦sicki, Kazimierz (1989). Šukasiewiczian Logic of Tenses and the Problem of De- terminism. In: The Vienna Circle and the Lvov-Warsaw School. Ed. by Klemens Szaniawski. Springer, pp. 293312. Urbaniak, Rafaª (2008). Le±niewski and Russell's Paradox: Some Problems. In: History and Philosophy of Logic 29.2, pp. 115146.  (2014a). Le±niewski's Systems of Logic and Foundations of Mathematics. Springer. 10  (2014b). Sªupecki's Generalized Mereology and Its Flaws. In: History and Philoso- phy of Logic 35.3, pp. 289300. Urbaniak, Rafaª and K. Severi Hämäri (2012). Busting a Myth about Le±niewski and Denitions. In: History and Philosophy of Logic 33.2, pp. 159189. Uyemov, Avenir I. (1998). The Lvov-Warsaw School and the Problem of a Logical For- malism for General Systems Theory. In: The Lvov-Warsaw School and Contemporary Philosophy. Ed. by Katarzyna Kijania-Placek and Jan Wole«ski. Vol. Synthese Li- brary 273. Springer, pp. 355363. Weingartner, Paul (1989). Denitions in Russell, in the Vienna-Circle and in the Lvov- Warsaw School. In: The Vienna Circle and the Lvov-Warsaw School. Ed. by Klemens Szaniawski. Springer, pp. 225247. Wójcicki, Ryszard (1997). The Postwar Panorama of Logic in Poland. In: Logic and Sci- entic Methods. Volume One of the Tenth International Congress of Logic, Methodol- ogy and Philosophy of Science, Florence, August 1995. Ed. by Daniele Mundici Dalla Chiara Kees Doets and Johan van Benthem, pp. 497508. Wójcicki, Ryszard and Ewa Jansen (1984). R. Suszko's Situational Semantics. In: Stu- dia Logica 43.4, pp. 323340. Wole«ski, Jan (1986). Reism and Le±niewski's ontology. In: History and Philosophy of Logic 7.2, pp. 167176.  (1989a). Logic and Philosophy in the Lvov-Warsaw School. Synthese Library 198. Kluwer Academic Publishers.  (1989b). The Lvov-Warsaw School and the Vienna Circle. In: The Vienna Circle and the Lvov-Warsaw School. Ed. by Klemens Szaniawski. Springer, pp. 443453.  (1990a). Klemens Szaniawski (1925-1990). In: Studia Logica 49.2, p. 162.  ed. (1990b). Kotarbi«ski: Logic, Semantics and Ontology. Kluwer: Dordrecht.  (1994a). Jan Šukasiewicz on the liar paradox, logical consequence, truth, and induc- tion. In: Modern Logic 4.4, pp. 392400.  ed. (1994b). Philosophical Logic in Poland. Springer.  (1995). Mathematical logic in Poland 19001939: people, circles, institutions, ideas. In: Modern Logic 5.4, pp. 363405.  (1998). The Reception of the Lvov-Warsaw School. In: The Lvov-Warsaw School and Contemporary Philosophy. Ed. by Katarzyna Kijania-Placek and Jan Wole«ski. Vol. Synthese Library 273. Springer, pp. 319. Wole«ski, Jan (2004a). Polish Logic. In: Logic Journal of the IGPL 12.5, pp. 399428.  (2004b). The reception of Frege in Poland. In: History and Philosophy of Logic 25.1, pp. 3751. Wole«ski, Jan (2013). The Story of a Footnote. In: Logic in Central and Eastern Europe. Ed. by Andrew Schumann. University Press of America, pp. 638654. Wole«ski, Jan and Joseph Agassi (2010). Šukasiewicz and Popper on Induction. In: History and Philosophy of Logic 31.4, pp. 381388. 11 Wole«ski, Jan and Eckehart Köhler, eds. (1999). Alfred Tarski and the Vienna Circle: Austro-Polish Connections in Logical Empiricism. Springer. Wole«ski, Jan and Jan Zygmunt (1989). Jerzy Sªupecki (19041987): Life and Work. In: Studia Logica 48.4, pp. 401411. Wolniewicz, Bogusªaw (1984). Suszko: A Reminiscence. In: Studia Logica 43.4, pp. 317 321. Ziembi«ski, Zygmunt (1973/1976). Practical Logic. Trans. by Leon Ter-Oganian. Springer. Zuber, Ryszard (1998). Polish Logic, Language and Philosophy of Language. In: The Lvov-Warsaw School and Contemporary Philosophy. Ed. by Katarzyna Kijania-Placek and Jan Wole«ski. Vol. Synthese Library 273. Springer, pp. 219238. Zygmunt, Jan (1981). The logical investigations of Jan Kalicki. In: History and Philos- ophy of Logic 2.1-2, pp. 4153.  (1991). Moj»esz Presburger: life and work. In: History and Philosophy of Logic 12.2, pp. 211223. Romania Calude, Cristian, Solomon Marcus, and Ionel Tevy (1979). The rst example of a recur- sive function which is not primitive recursive. In: Historia Mathematica 6.4, pp. 380 384. Dima, Teodor (1975). The philosophy of science in Romania. In: Zeitschrift für allge- meine Wissenschaftstheorie 6 (2), pp. 355368. Pârvu, Ilie and Andreea E³anu (2013). Analytic Philosophy in Romania. In: Logic in Central and Eastern Europe. Ed. by Andrew Schumann. University Press of America, pp. 233249. •urlea, Marin (2013). Ideological and Philosophical Aspects of Logical Tradition in Romania. In: Logic in Central and Eastern Europe. Ed. by Andrew Schumann. Uni- versity Press of America, pp. 115128. Russia, Former Soviet Union (USSR) in general A. A. Letichevsky, A. V. Lyaletski and M. K. Morokhovets (July 2013). Glushkov's Evidence Algorithm. In: Cybernetics and Systems Analysis 49.4, pp. 489500. Anellis, Irving H. (1987a). Mathematical logic in the Soviet Union, 19171980. In: History and Philosophy of Logic 8.1, pp. 7176. Anellis, Irving H. (1987b). Sof'ja Aleksandrovna Janovskaja (18961966). In: Women of Mathematics. Ed. by Louise S. Grinstein and Paul J. Campbell. New York: Greenwood Press, pp. 8085.  (1987c). The heritage of S. A. Janovskaja. In: History and Philosophy of Logic 8.1, pp. 4556. 12  (1992). Theology against logic: the origins of logic in old Russia. In: History and Philosophy of Logic 13.1, pp. 1542.  (1994). Translator's introduction: Father Pavel Florenskij. In: Modern Logic 4.2, pp. 157162.  (1996b). Sof'ya Aleksandrovna Yanovskaya's contributions to logic and history of logic. In: Modern Logic 6.1, pp. 736.  (1996c). Some notes from the KGB on the fate of Pavel Florenski [1882(?)1937]. In: Modern Logic 6.4, pp. 403406.  (1996d). Yanovskaya's "ghost". In: Modern Logic 6.1, pp. 7784. Anisov, A. M. (1997). Basic principles of V. A. Smirnov's conception of scientic phi- losophy and logic. In: Modern Logic 7.3-4, pp. 326332. Bazhanov, Valentin A. (1992). C. S. Peirce's inuence on the logical work of N. A. Vasiliev. In: Modern Logic 3.1, pp. 4551.  (1994). The imaginary geometry of N. I. Lobachevsky and the imaginary logic of N. A. Vasiliev. In: Modern Logic 4.2, pp. 148156.  (2001). Restoration: S. A. Yanovskaya's path in logic. In: History and Philosophy of Logic 22.3, pp. 129133.  (2013). The Logical Community in the USSR and Modern Russia: The Furrow Syn- drome. In: Logic in Central and Eastern Europe. Ed. by Andrew Schumann. Univer- sity Press of America, pp. 6572. Belegradek, Oleg and Boris Zilber (Mar. 2014). In Memoriam: Mikhail A. Taitslin (1936- 2013). In: The Bulletin of Symbolic Logic 20.1, pp. 99102. Boche«ski, Józef Maria (1961). Soviet Logic. In: Studies in Soviet Thought 1, pp. 29 38.  (1973). S. A. Janovskaja. In: Studies in Soviet Thought 13.1-2, pp. 110. Bystrov, Peter (1996). In memory of Professor V. A. Smirnov (19311996). In: Modern Logic 6.2, pp. 198200. Dolgova, T. P. and V. M. Topov (1997). Problems of relevant logic in V. A. Smirnov's book, Formal deduction and logical calculi. In: Modern Logic 7.3-4, pp. 296314. editor (1997). Vladimir Aleksandrovich Smirnov's works. In: Modern Logic 7.3-4, pp. 333 344. Feferman, Solomon and Vladimir Lifschitz (Mar. 2015). In Memoriam: Grigori E. Mints (1939-2014). In: The Bulletin of Symbolic Logic 21.1, pp. 3133. Finn, V. K. (2000). Vladimir Alexandrovich Smirnov as a Founder of Research Schools in Logic and Methodology of Science in the USSR and Russia. In: Studia Logica 66.2, pp. 205213. Kapitonova, Yu. V. (2005). Formation and Development of Ideas of Articial Intelligence in V. M. Glushkov's Works. In: Cybernetics and Systems Analysis 41.1, pp. 116. Karpenko, Alexander S. (1997). Certain logical ideas of V. A. Smirnov and modern logic. In: Modern Logic 7.3-4, pp. 282295. 13  (2000). V. A. Smirnov (1931-1996): Work and Life. In: Studia Logica 66.2, pp. 201 204.  (2013). Moscow Logical Schools (Period of Ideology 1917-1991). In: Logic in Central and Eastern Europe. Ed. by Andrew Schumann. University Press of America, pp. 317 380. Karpenko, Alexander S. and et al. (2000). V. A. Smirnov's Results in the Field of Modern Formal Logic. In: Studia Logica 66.2, pp. 227252. Kostiouk, T. and V. Markin (1997). Formal reconstruction of the assertoric syllogistic of N. A. Vasiliev. In: Modern Logic 7.3-4, pp. 315320. Küng, Guido (1961). Mathematical Logic in the Soviet Union (1917-1947 and 1947- 1957). In: Studies in Soviet Thought 1, pp. 3943.  (1962). Bibliography of Soviet work in the eld of mathematical logic and the foun- dations of mathematics, from 1917-1957. In: Notre Dame Journal of Formal Logic 3.1, pp. 140. Kushner, Boris A. (1994). Memories of Mech.-Math. in the sixties, inspired by Uspen- sky's JSL article on Kolmogorov's work in logic. In: Modern Logic 4.2, pp. 165195.  (1996). Sof'ja Aleksandrovna Janovskaja: a few reminiscences. In: Modern Logic 6.1, pp. 6772. Levin, Vitaly I. (2013a). Soa Alexandrovna Yanovskaya, the Person, Teacher, and Scientist. In: Logic in Central and Eastern Europe. Ed. by Andrew Schumann. Uni- versity Press of America, pp. 675691.  (2013b). Victor Ivanovich Shestakov, the Scientist and Person. In: Logic in Central and Eastern Europe. Ed. by Andrew Schumann. University Press of America, pp. 655 674. Maidansky, Andrey (2013). The Concept of Truth in Ilyenkov's Dialectical Logic. In: Logic in Central and Eastern Europe. Ed. by Andrew Schumann. University Press of America, pp. 573582. Markin, V. I. (1997). Vladimir Aleksandrovich Smirnov, teacher and researcher. In: Modern Logic 7.3-4, pp. 279281. Markov, A. A. (1951/1988). The Theory of Algorithms. Springer. Markov, A. A., A. S. Kuzichev, and Z. A. Kuzicheva (1996). Sof'ya Aleksandrovna Yanovskaya's work in the eld of mathematical logic. In: Modern Logic 6.1, pp. 36. Mikhalevich, V. S. (1993). Academician Viktor Mikhailovich Glushkov. In: Cybernetics and Systems Analysis 29.3, pp. 303306. Mints, Grigori E. (1991). Proof Theory in the USSR: 1925-1969. In: The Journal of Symbolic Logic 56.2, pp. 385424. Mints, Grigori E. and Sergey I. Nikolenko (2013). History of the Leningrad (St. Peters- burg) School of Constructive Mathematics and Proof Theory. In: Logic in Central and Eastern Europe. Ed. by Andrew Schumann. University Press of America, pp. 381 388. 14 N., N. (1994). P. A. Florenskij. Trans. by Irving H. Anellis. In: Modern Logic 4.2, pp. 162164. Nikolenko, Sergey I. (2013). The Markov School in the 21st Century. In: Logic in Central and Eastern Europe. Ed. by Andrew Schumann. University Press of America, pp. 389430. Rosenfeld, Boris (1996). Reminiscences of S. A. Yanovskaya. In: Modern Logic 6.1, pp. 7376. Trakhtenbrot, B. A. (1997). In memory of S. A. Yanovskaya (18961966) on the cente- nary of her birth. In: Modern Logic 7.2, pp. 160187. Uspensky, Vladimir A. (June 1992). Kolmogorov and Mathematical Logic. In: The Journal of Symbolic Logic 57.2, pp. 385412.  (1997). Mathematical Logic in the Former Soviet Union: Brief History and Current Trends. In: Logic and Scientic Methods. Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995. Ed. by Daniele Mundici Dalla Chiara Kees Doets and Johan van Benthem, pp. 457 483.  (1982/1987). Gödel's Incompleteness Theorem. Trans. by Neal Koblitz. Moscow: Mir Publishers. Vasyukov, Vladimir L. (Sept. 1996). In Memoriam: Vladimir Aleksandrovich Smirnov (1931-1996). In: The Bulletin of Symbolic Logic 2.3, pp. 371371.  (1997). Non-Fregean approach to V. A. Smirnov's combined logics. In: Modern Logic 7.3-4, pp. 321325. Vucinich, Alexander (1999). Mathematics and Dialectics in the Soviet Union: The Pre- Stalin Period. In: Historia Mathematica 26.2, pp. 107124.  (2000). Soviet Mathematics and Dialectics in the Stalin Era. In: Historia Mathe- matica 27.1, pp. 5476.  (2002). Soviet Mathematics and Dialectics in the Post-Stalin Era: New Horizons. In: Historia Mathematica 29.1, pp. 1339. Ukraine A. A. Letichevsky, A. V. Lyaletski and M. K. Morokhovets (July 2013). Glushkov's Evidence Algorithm. In: Cybernetics and Systems Analysis 49.4, pp. 489500. Kapitonova, Yu. V. (2005). Formation and Development of Ideas of Articial Intelligence in V. M. Glushkov's Works. In: Cybernetics and Systems Analysis 41.1, pp. 116. Khomenko, Iryna (2013). Logic in Kyiv Theological Academy (1819-1920). In: Logic in Central and Eastern Europe. Ed. by Andrew Schumann. University Press of America, pp. 129138. Lyaletski, Alexander, Marina Morokhovets, and Andrej Paskevich (2013). Kyiv School of Automated Theorem Proving: a Historical Chronicle. In: Logic in Central and 15  Eastern Europe. Ed. by Andrew Schumann. University Press of America, pp. 431 469. Lyaletski, Alexander and Mykola Nikitchenko (2014). On Logical and Semantic In- vestigations in Kyiv School of Automated Reasoning. In: Trends in Contemporary Computer Science. Podlasie (2014). Ed. by Anna Gomoli«ska, Adam Grabowski, Maªgorzata Hryniewicka, Magdalena Kacprzak, and Ewa Schmeidel. Podlasie: Bi- aªystok University of Technology Publishing Oce, pp. 8398. Mikhalevich, V. S. (1993). Academician Viktor Mikhailovich Glushkov. In: Cybernetics and Systems Analysis 29.3, pp. 303306. (Former) Yugoslavia, Bosnia-Hercegovina, Croatia, Macedonia, Montenegro, Serbia, Slovenia Adamovi¢, Svetlana Knjazev (2012). Dialectics and Logic. In: Review of the National Center for Digitization 20, pp. 9193. Bankovi¢, Dragi¢ (2012). Note on Slavi²a Pre²i¢. In: Review of the National Center for Digitization 20, pp. 8990. Bori£i¢, Branislav (2012). Textbooks and Monographs in Logic. In: Review of the Na- tional Center for Digitization 20, pp. 4152. Borisavljevi¢, Mirjana (2010). Doctoral Dissertations in Logic from Virtual Library of the Faculty of Mathematics in Belgrade. In: Review of the National Center for Digitization 16, pp. 117.  (2012). Doctoral Dissertations in Logic. In: Review of the National Center for Dig- itization 20, pp. 95104. Borisavljevi¢, Mirjana, Silvia Ghilezan, Predrag Jani£i¢, Aleksandar Krapeº, Milo² Kurili¢, šarko Mijajlovi¢, Zoran Markovi¢, Zoran Ognjanovi¢, Jovanka Pantovi¢, Zoran Petri¢, Miomir S. Stankovi¢, Radomir S. Stankovi¢, Ivan Stojmenovi¢, and Djordje Vuko- manovi¢ (2013). History of Mathematical Logic in Serbia. In: Logic in Central and Eastern Europe. Ed. by Andrew Schumann. University Press of America, pp. 470 495. Dimitri¢, Radoslav (1994). Academician, Professor Ðjuro Kurepa (19071993). In: Mod- ern Logic 4.4, pp. 401403. Hafner, Izidor (2012a). Mathematical Logic in Slovenia 1960-2010. In: Review of the National Center for Digitization 20, pp. 8284.  (2012b). Slovenian Competitions in Logic. In: Review of the National Center for Digitization 20, pp. 8588. Ibrulj, Nijaz (2013). Bosnia Porphyriana: An Outline of the Development of Logic in Bosnia and Herzegovina. In: Logic in Central and Eastern Europe. Ed. by Andrew Schumann. University Press of America, pp. 73114. 16 Ikodinovi¢, Neboj²a (2012). A Brief History of Mathematical Logic at the Faculty of Science in Kragujevac. In: Review of the National Center for Digitization 20, pp. 77 81. Jani£i¢, Predrag (2012). Overview of Automated Reasoning in Serbia. In: Review of the National Center for Digitization 20, pp. 5358. Kapetanovi¢, Miodrag (2007). Aleksandar Kron (19372000). In: Publications De L'Institut Mathématique (82 (96)), pp. 12. Kova£, Sre¢ko and Berislav šarni¢ (2013). An Outline of the History of the Croatian Logic. In: Logic in Central and Eastern Europe. Ed. by Andrew Schumann. Univer- sity Press of America, pp. 496525. Mijajlovi¢, šarko (1995). Ðuro Kurepa (1907-1993). In: Publications De L'Institut Mathématique 57, pp. 1318.  (2012). Life and Work of Ðuro Kurepa. In: Review of the National Center for Dig- itization 20, pp. 1026. Panzova, Violeta (2013). Logic in Macedonia. In: Logic in Central and Eastern Europe. Ed. by Andrew Schumann. University Press of America, pp. 218225. Potr£, Matjaº and Vojko Strahovnik (2013). Some Tendencies of Logic and Methodology in Slovenia. In: Logic in Central and Eastern Europe. Ed. by Andrew Schumann. University Press of America, pp. 268282. Stankovi¢, Miomir S. and Radomir S. Stankovi¢ (2012). A Brief History of Mathematical Logic at the University of Ni². In: Review of the National Center for Digitization 20, pp. 6876. Tanovi¢, Predrag (2012). A Review of Model Theory in Serbia. In: Review of the Na- tional Center for Digitization 20, pp. 6367. Ule, Andrej (2013). Logic and Theory of Science in Slovenia. In: pp. 194201. Vakarelov, Dimiter (1997). Logic in Central and Eastern Europe: Balkan Region. In: Logic and Scientic Methods. Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995. Ed. by Daniele Mundici Dalla Chiara Kees Doets and Johan van Benthem, pp. 485495. Vujo²evi¢, Slobodan (2012). Aleksandar Kron in Relevance Logic. In: Review of the National Center for Digitization 20, pp. 5962. Ze£evi¢, Svetlana (2013). The Tendencies of Logic and Methodology in Montenegro. In: Logic in Central and Eastern Europe. Ed. by Andrew Schumann. University Press of America, pp. 226232. 17