Modern LogicA Journal for the History, Philosophy, Invention, and Pedagogy of Modern Logic, Set Theory, and the Foundations of Mathematics Short Title: Mod. Log. Publisher: Marquette University, Department of Mathematics, Statistics and Computer Science, Milwaukee, WI ISSN: 1047-5982 Online: http://projecteuclid.org/all/euclid.rml Successor: The Review of Modern Logic Comments: Journal; No longer indexed; This journal is available open access. Documents Indexed: 136 Publications (1990–2001) all top 5 Latest Issues 8, No. 3-4 (2001) 8, No. 1-2 (2000) 7, No. 3-4 (1997) 7, No. 2 (1997) 7, No. 1 (1997) 6, No. 4 (1996) 6, No. 3 (1996) 6, No. 2 (1996) 6, No. 1 (1996) 5, No. 4 (1995) 5, No. 3 (1995) 5, No. 2 (1995) 5, No. 1 (1995) 4, No. 4 (1994) 4, No. 3 (1994) 4, No. 2 (1994) 4, No. 1 (1994) 3, No. 4 (1993) 3, No. 3 (1993) 3, No. 2 (1993) 3, No. 1 (1992) 2, No. 4 (1992) 2, No. 3 (1992) 2, No. 2 (1991) 2, No. 1 (1991) 1, No. 4 (1991) 1, No. 2-3 (1991) 1, No. 1 (1990) all top 5 Authors 37 Anellis, Irving Henry 5 Bazhanov, Valentin A. 5 Thiel, Christian 4 Drucker, Thomas L. 4 Peckhaus, Volker 3 Abeles, Francine F. 3 Kushner, Boris A. 2 Blizard, Wayne D. 2 Dimitrić, Radoslav Milan 2 Dipert, Randall Roy 2 Frápolli, María José 2 Hawkins, Benjamin Sanford jun. 2 Houser, Nathan R. 2 Kuzicheva, Z. A. 2 Markin, Vladimir Il’ich 2 Woleński, Jan 1 Anisov, A. M. 1 Bach, Craig N. 1 Baldwin, James Mark 1 Bartol, Wiktor 1 Bashmakova, Izabella Grigor’evna 1 Béziau, Jean-Yves 1 Biryukov, B. V. 1 Biryukova, Lyubov Gavrilovna 1 Brunning, Jacqueline 1 Bueno, Otávio 1 Burdman Feferman, Anita 1 Burgin, Mark 1 Bystrov, Peter I. 1 Cavaliere, Fania 1 Corry, Leo 1 Da Costa, Newton Carneiro Affonso 1 Dathe, Uwe 1 Dawson, John W. jun. 1 Dejnožka, Jan 1 Dekker, Jacob C. E. 1 Demidov, Sergeĭ Sergeevich 1 Diller, Antoni 1 Dolgova, T. P. 1 Dzhaliashvili, Z. O. 1 Feferman, Solomon 1 Feodorov, B. N. 1 Ford, Charles E. 1 Franchella, Miriam 1 Gauthier, Yvon 1 Girard, Jean-Yves 1 Goldfarb, Warren D. 1 Green, Judy 1 Greenberg, William J. 1 Gumb, Raymond D. 1 Harkleroad, Leon 1 Holmes, M. Randall 1 Jourdain, Philip Edward Bertrand 1 Karpenko, Aleksandr Stepanovich 1 Kormin, Henry 1 Kostiouk, T. 1 Kuzichev, Alexander Sergeevich 1 Kuznetsov, V. I. 1 Lambert, Karel 1 Leonenko, Leonid 1 Markov, Andreĭ Andreevich jun. 1 Marsonet, Michele 1 Moore, Gregory H. 1 Murawski, Roman 1 Myers, Dale 1 Niiniluoto, Ilkka 1 Orłowska, Ewa S. 1 Padilla Gálvez, Jesús 1 Pascal, Blaise 1 Peirce, Benjamin 1 Peirce, Charles Sanders 1 Pla i Carrera, Josep 1 Popov, Vladimir Mikhailovich 1 Quine, Willard Van Orman 1 Rao, A. Prabhakar 1 Richman, Fred 1 Rozenfel’d, Boris Abramovich 1 Ruitenburg, Wim B. G. 1 Schenk, Günter 1 Silver, Charles L. 1 Skowron, Andrzej 1 Trakhtenbrot, Boris Avraamovich 1 Uspenskiĭ, Vladimir Andreevich 1 van Heijenoort, Jean 1 Vasyukov, Vladimir Leonidovich 1 Vilkko, Risto 1 Weaver, George E. all top 5 Fields 117 History and biography (01-XX) 80 Mathematical logic and foundations (03-XX) 4 General and overarching topics; collections (00-XX) 4 Computer science (68-XX) 2 Category theory; homological algebra (18-XX) 2 Real functions (26-XX) 2 Geometry (51-XX) 1 Combinatorics (05-XX) 1 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-XX) 1 Group theory and generalizations (20-XX) 1 Functional analysis (46-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 58 Publications have been cited 185 times in 122 Documents Cited by ▼ Year ▼ The development of multiset theory. Zbl 0744.03054 Blizard, Wayne D. 25 1991 Ernst Schröder and the “pasigraphic systems” of Peano and Peirce. (Ernst Schröder und die “pasigraphischen Systeme” von Peano und Peirce.) Zbl 0735.01007 Peckhaus, Volker 9 1991 From semantic tableaux to Smullyan trees: A history of the development of the falsifiability tree method. Zbl 0708.01008 Anellis, Irving H. 8 1990 Lewis Carroll’s method of trees: Its origins in “Studies in logic”. Zbl 0708.01009 Abeles, Francine F. 8 1990 Herbrand’s fundamental theorem and the beginning of logic programming. Zbl 0801.03001 Abeles, Francine 8 1994 Interview with a constructive mathematician. Zbl 0862.03034 Richman, Fred 7 1996 Constructive logic and the paradoxes. Zbl 0748.03037 Ruitenburg, Wim 6 1991 Why algebra of logic? Ernst Schröder’s looking for a universal theory of compositions. (Wozu Algebra der Logik? Ernst Schröders Suche nach einer universalen Theorie der Verknüpfungen.) Zbl 0812.01012 Peckhaus, Volker 6 1994 Malinowski and Suszko on many-valued logics: On the reduction of many-valuedness to two-valuedness. Zbl 0869.03014 da Costa, Newton C. A.; Béziau, Jean-Yves; Bueno, Otávio A. S. 6 1996 The Schröder-Peirce correspondence. Zbl 0735.01006 Houser, Nathan 5 1991 Forty years of “unnatural” natural deduction and quantification: A history of first-order systems of natural deduction, from Gentzen to Copi. Zbl 0744.03005 Anellis, Irving H. 5 1991 Historical development of modern logic. Zbl 0758.03004 van Heijenoort, Jean 5 1992 Herbrand’s error and Gödel’s correction. Zbl 0789.03002 Goldfarb, Warren 5 1993 Peirce Rustled, Russell Pierced: How Charles Peirce and Bertrand Russell viewed each other’s work in logic, and an assessment of Russell’s accuracy and rôle in the historiography on logic. Zbl 0830.01011 Anellis, Irving H. 4 1995 The origins of the definition of abstract rings. Zbl 1020.01003 Corry, Leo 4 2000 Jean van Heijenoort’s contributions to proof theory and its history. Zbl 0758.03002 Anellis, Irving H. 4 1992 Logic and foundations of mathematics in Peano’s school. Zbl 0767.03002 Borga, M.; Palladino, D. 4 1992 A note on “The development of multiset theory”. Zbl 0810.03045 Singh, D. 4 1994 Helena Rasiowa, 1917-1994. Zbl 0828.01009 Bartol, Wiktor; Orłowska, Ewa; Skowron, Andrzej 3 1995 Mathematical logic in Poland 1900–1939: People, circles, institutions, ideas. Zbl 0843.03001 Woleński, Jan 3 1995 Sof’ya Aleksandrovna Yanovskaya’s contributions to logic and history of logic. Zbl 0840.01054 Anellis, Irving H. 3 1996 The life and work of Ernst Schröder. Zbl 0735.01011 Dipert, Randall R. 3 1991 The set-theoretical program of Quine succeeded, but nobody noticed. Zbl 0804.03040 Holmes, M. Randall 3 1994 The imaginary geometry of N. I. Lobachevsky and the imaginary logic of N. A. Vasiliev. Zbl 0805.01011 Bazhanov, V. A. 3 1994 C. S. Peirce’s influence on the logical work of N. A. Vasiliev. Zbl 0769.03003 Bazhanov, Valentine A. 3 1992 De Morgan, Victorian syllogistic and relational logic. Zbl 0821.01016 Hawkins, Benjamin S. jun. 2 1995 In memory of S. A. Yanovskaya (1896-1966) on the centenary of her birth. Zbl 0988.01511 Trakhtenbrot, B. A. 2 1997 Reflections on the interplay between mathematics and logic. Zbl 0771.03011 Moore, Gregory H. 2 1992 Peirce and Frege, a question unanswered. Zbl 0794.01008 Hawkins, Benjamin S. jun. 2 1993 Brouwer and Griss on intuitionistic negation. Zbl 0802.03001 Franchella, Miriam 2 1994 Jan Łukasiewicz on the liar paradox, logical consequence, truth, and induction. Zbl 0812.01018 Woleński, Jan 2 1994 Sof’ya Aleksandrovna Janovskaja: a few reminiscences. Zbl 0841.01022 Kushner, Boris A. 1 1996 Vladimir Aleksandrovich Smirnov (1931–1996). Zbl 0845.01020 Bazhanov, V. A. 1 1996 A bibliography of the scientific work of V. A. Smirnov. Zbl 0986.01506 1 1997 Updates and corrections to “The development of multiset theory”. Zbl 0991.03518 Blizard, Wayne D. 1 1997 Sof’ya Aleksandrovna Yanovskaya. Zbl 1011.01512 Bashmakova, I. G.; Demidov, S. S.; Uspenskij, V. A. 1 1996 The works of Hugh MacColl and the origins of nonclassical logic. Zbl 0985.03003 Cavaliere, Fania 1 1996 The axiomatic sources of fundamental algebraic structure: The achievements of Hermann Grassmann and Robert Grassmann. Zbl 1006.01008 Biryukova, L. G.; Biryukov, B. V. 1 1997 The enigma of the infinitesimal: toward Charles L. Dodgson’s theory of infinitesimals. Zbl 0991.01011 Abeles, Francine F. 1 2001 A history of logic trees. (Editor’s note). Zbl 0708.01010 Anellis, Irving H. 1 1990 Schröder material at the Russell archives. Zbl 0735.01005 Anellis, Irving H. 1 1991 Individuals and extensional logic in Schröder’s “Vorlesungen über die Algebra der Logik”. Zbl 0855.01012 Dipert, Randall R. 1 1991 Ernst Schröder and the distribution of quantifiers. Zbl 0855.01013 Thiel, Christian 1 1991 Is Cantorian set theory an iterative conception of set? Zbl 0747.03003 Frápolli, Maria J. 1 1991 Hanf’s eulogy, 9/11/89. Zbl 0738.01014 Myers, Dale 1 1991 Jean van Heijenoort: An all too brief acquaintance. Zbl 0755.01028 Dawson, John W. jun. 1 1992 Jean van Heijenoort (1912-1986). Zbl 0755.01026 Burdman Feferman, Anita; Feferman, Solomon 1 1992 A sketch of Jean van Heijenoort’s view of the history of modern logic: Introduction to an unpublished paper. Zbl 0758.03003 Anellis, Irving H. 1 1992 The fly in the bottle (In memory of Jean van Heijenoort). Zbl 0757.01022 Girard, Jean-Yves 1 1992 Quantification theory, logic and language (On the proposal of the “Selected essays” of Jean van Heijenoort). Zbl 0755.03004 Padilla-Gálvez, Jesus 1 1992 The status of Cantorian numbers. Zbl 0765.03003 Frápolli, Maria J. 1 1992 Definitions in nonstrict positive free logic. Zbl 0876.03013 Gumb, Raymond D.; Lambert, Karel 1 1997 Arithmetical calculator. (Machine d’arithmétique.) Zbl 0879.01014 Pascal, Blaise 1 1997 Joon Fang of Jaean – a retrospective. Zbl 0782.01022 Anellis, Irving H. 1 1993 Frege’s way from logicism to the attempt of a foundation of arithmetics. (Frege’s Weg vom Logizismus zum Versuch einer geometrischen Grundlegung der Arithmetik.) Zbl 0791.01005 Dathe, Uwe 1 1993 Memories of Mech.-Math. in ‘sixties, inspired by Uspensky’s JSL article on Kolmogorov’s work in logic. Zbl 0790.01029 Kushner, Boris A. 1 1994 Grandfather of fuzzy logic? Zbl 0803.01012 Anellis, Irving H. 1 1994 Schröder’s second proof of the independence of the second subsumption of the distributive law in logical calculus. (Schröders zweiter Beweis für die Unabhängigkeit der zweiten Subsumtion des Distributivgesetzes im logischen Kalkül.) Zbl 0812.01013 Thiel, Christian 1 1994 The enigma of the infinitesimal: toward Charles L. Dodgson’s theory of infinitesimals. Zbl 0991.01011 Abeles, Francine F. 1 2001 The origins of the definition of abstract rings. Zbl 1020.01003 Corry, Leo 4 2000 In memory of S. A. Yanovskaya (1896-1966) on the centenary of her birth. Zbl 0988.01511 Trakhtenbrot, B. A. 2 1997 A bibliography of the scientific work of V. A. Smirnov. Zbl 0986.01506 1 1997 Updates and corrections to “The development of multiset theory”. Zbl 0991.03518 Blizard, Wayne D. 1 1997 The axiomatic sources of fundamental algebraic structure: The achievements of Hermann Grassmann and Robert Grassmann. Zbl 1006.01008 Biryukova, L. G.; Biryukov, B. V. 1 1997 Definitions in nonstrict positive free logic. Zbl 0876.03013 Gumb, Raymond D.; Lambert, Karel 1 1997 Arithmetical calculator. (Machine d’arithmétique.) Zbl 0879.01014 Pascal, Blaise 1 1997 Interview with a constructive mathematician. Zbl 0862.03034 Richman, Fred 7 1996 Malinowski and Suszko on many-valued logics: On the reduction of many-valuedness to two-valuedness. Zbl 0869.03014 da Costa, Newton C. A.; Béziau, Jean-Yves; Bueno, Otávio A. S. 6 1996 Sof’ya Aleksandrovna Yanovskaya’s contributions to logic and history of logic. Zbl 0840.01054 Anellis, Irving H. 3 1996 Sof’ya Aleksandrovna Janovskaja: a few reminiscences. Zbl 0841.01022 Kushner, Boris A. 1 1996 Vladimir Aleksandrovich Smirnov (1931–1996). Zbl 0845.01020 Bazhanov, V. A. 1 1996 Sof’ya Aleksandrovna Yanovskaya. Zbl 1011.01512 Bashmakova, I. G.; Demidov, S. S.; Uspenskij, V. A. 1 1996 The works of Hugh MacColl and the origins of nonclassical logic. Zbl 0985.03003 Cavaliere, Fania 1 1996 Peirce Rustled, Russell Pierced: How Charles Peirce and Bertrand Russell viewed each other’s work in logic, and an assessment of Russell’s accuracy and rôle in the historiography on logic. Zbl 0830.01011 Anellis, Irving H. 4 1995 Helena Rasiowa, 1917-1994. Zbl 0828.01009 Bartol, Wiktor; Orłowska, Ewa; Skowron, Andrzej 3 1995 Mathematical logic in Poland 1900–1939: People, circles, institutions, ideas. Zbl 0843.03001 Woleński, Jan 3 1995 De Morgan, Victorian syllogistic and relational logic. Zbl 0821.01016 Hawkins, Benjamin S. jun. 2 1995 Herbrand’s fundamental theorem and the beginning of logic programming. Zbl 0801.03001 Abeles, Francine 8 1994 Why algebra of logic? Ernst Schröder’s looking for a universal theory of compositions. (Wozu Algebra der Logik? Ernst Schröders Suche nach einer universalen Theorie der Verknüpfungen.) Zbl 0812.01012 Peckhaus, Volker 6 1994 A note on “The development of multiset theory”. Zbl 0810.03045 Singh, D. 4 1994 The set-theoretical program of Quine succeeded, but nobody noticed. Zbl 0804.03040 Holmes, M. Randall 3 1994 The imaginary geometry of N. I. Lobachevsky and the imaginary logic of N. A. Vasiliev. Zbl 0805.01011 Bazhanov, V. A. 3 1994 Brouwer and Griss on intuitionistic negation. Zbl 0802.03001 Franchella, Miriam 2 1994 Jan Łukasiewicz on the liar paradox, logical consequence, truth, and induction. Zbl 0812.01018 Woleński, Jan 2 1994 Memories of Mech.-Math. in ‘sixties, inspired by Uspensky’s JSL article on Kolmogorov’s work in logic. Zbl 0790.01029 Kushner, Boris A. 1 1994 Grandfather of fuzzy logic? Zbl 0803.01012 Anellis, Irving H. 1 1994 Schröder’s second proof of the independence of the second subsumption of the distributive law in logical calculus. (Schröders zweiter Beweis für die Unabhängigkeit der zweiten Subsumtion des Distributivgesetzes im logischen Kalkül.) Zbl 0812.01013 Thiel, Christian 1 1994 Herbrand’s error and Gödel’s correction. Zbl 0789.03002 Goldfarb, Warren 5 1993 Peirce and Frege, a question unanswered. Zbl 0794.01008 Hawkins, Benjamin S. jun. 2 1993 Joon Fang of Jaean – a retrospective. Zbl 0782.01022 Anellis, Irving H. 1 1993 Frege’s way from logicism to the attempt of a foundation of arithmetics. (Frege’s Weg vom Logizismus zum Versuch einer geometrischen Grundlegung der Arithmetik.) Zbl 0791.01005 Dathe, Uwe 1 1993 Historical development of modern logic. Zbl 0758.03004 van Heijenoort, Jean 5 1992 Jean van Heijenoort’s contributions to proof theory and its history. Zbl 0758.03002 Anellis, Irving H. 4 1992 Logic and foundations of mathematics in Peano’s school. Zbl 0767.03002 Borga, M.; Palladino, D. 4 1992 C. S. Peirce’s influence on the logical work of N. A. Vasiliev. Zbl 0769.03003 Bazhanov, Valentine A. 3 1992 Reflections on the interplay between mathematics and logic. Zbl 0771.03011 Moore, Gregory H. 2 1992 Jean van Heijenoort: An all too brief acquaintance. Zbl 0755.01028 Dawson, John W. jun. 1 1992 Jean van Heijenoort (1912-1986). Zbl 0755.01026 Burdman Feferman, Anita; Feferman, Solomon 1 1992 A sketch of Jean van Heijenoort’s view of the history of modern logic: Introduction to an unpublished paper. Zbl 0758.03003 Anellis, Irving H. 1 1992 The fly in the bottle (In memory of Jean van Heijenoort). Zbl 0757.01022 Girard, Jean-Yves 1 1992 Quantification theory, logic and language (On the proposal of the “Selected essays” of Jean van Heijenoort). Zbl 0755.03004 Padilla-Gálvez, Jesus 1 1992 The status of Cantorian numbers. Zbl 0765.03003 Frápolli, Maria J. 1 1992 The development of multiset theory. Zbl 0744.03054 Blizard, Wayne D. 25 1991 Ernst Schröder and the “pasigraphic systems” of Peano and Peirce. (Ernst Schröder und die “pasigraphischen Systeme” von Peano und Peirce.) Zbl 0735.01007 Peckhaus, Volker 9 1991 Constructive logic and the paradoxes. Zbl 0748.03037 Ruitenburg, Wim 6 1991 The Schröder-Peirce correspondence. Zbl 0735.01006 Houser, Nathan 5 1991 Forty years of “unnatural” natural deduction and quantification: A history of first-order systems of natural deduction, from Gentzen to Copi. Zbl 0744.03005 Anellis, Irving H. 5 1991 The life and work of Ernst Schröder. Zbl 0735.01011 Dipert, Randall R. 3 1991 Schröder material at the Russell archives. Zbl 0735.01005 Anellis, Irving H. 1 1991 Individuals and extensional logic in Schröder’s “Vorlesungen über die Algebra der Logik”. Zbl 0855.01012 Dipert, Randall R. 1 1991 Ernst Schröder and the distribution of quantifiers. Zbl 0855.01013 Thiel, Christian 1 1991 Is Cantorian set theory an iterative conception of set? Zbl 0747.03003 Frápolli, Maria J. 1 1991 Hanf’s eulogy, 9/11/89. Zbl 0738.01014 Myers, Dale 1 1991 From semantic tableaux to Smullyan trees: A history of the development of the falsifiability tree method. Zbl 0708.01008 Anellis, Irving H. 8 1990 Lewis Carroll’s method of trees: Its origins in “Studies in logic”. Zbl 0708.01009 Abeles, Francine F. 8 1990 A history of logic trees. (Editor’s note). Zbl 0708.01010 Anellis, Irving H. 1 1990 all cited Publications top 5 cited Publications all top 5 Cited by 163 Authors 8 Anellis, Irving Henry 5 Abeles, Francine F. 5 Moktefi, Amirouche 4 Béziau, Jean-Yves 3 Bellucci, Francesco 3 Hollings, Christopher David 3 Rocacher, Daniel 2 Bazhanov, Valentin A. 2 Beisecker, Dave 2 Bosc, Patrick 2 Buchholz, Peter 2 Debnath, Shyamal 2 Ferreirós, José 2 Grattan-Guinness, Ivor 2 Jankowski, Andrzej Wojciech 2 Jürgensen, Helmut 2 Katz, Karin Usadi 2 Katz, Mikhail G. 2 Restall, Greg 2 Skowron, Andrzej 2 Tarasyuk, Igor’ Valer’evich 1 Akbar Tabatabai, Amirhossein 1 Alonso, Pedro 1 Antonelli, Gian Aldo 1 Artemov, Sergei 1 Avron, Arnon 1 Baroni, Marian Alexandru 1 Bārzdiņš, Jānis 1 Belanger, Jay 1 Benatti, Alexandre 1 Bertran-San Millán, Joan 1 Betti, Arianna 1 Biswas, Ranjit 1 Bokut, Leonid A. 1 Bondoni, Davide 1 Bridges, Douglas Suth 1 Bukhstaber, V. M. 1 Burton, Jim 1 Buss, Samuel R. 1 Casasnovas, Jaume 1 Celani, Sergio Arturo 1 Chakrabarty, Kankana 1 Chinenova, Vera Nikolaevna 1 Chirskiĭ, Vladimir Grigor’evich 1 Chubarikov, Vladimir Nikolaevich 1 da Costa, Luciano F. 1 da F. Costa, Luciano 1 Dang, Hoang-Vu 1 Das, Rakhal 1 Das, Sujoy 1 Dawson, John W. jun. 1 Debnath, Amaresh 1 Dejnožka, Jan 1 Dekhtyar, Alexander M. 1 Denisova, Tatiana Yu. 1 Detlefsen, Michael E. 1 Dey, Sudeep 1 Díaz, Irene 1 Dobrovol’skiĭ, Nikolaĭ Mikhaĭlovich 1 Ehrlich, Philip 1 Ejegwa, Paul Augustine 1 Elkind, Landon D. C. 1 Feferman, Solomon 1 Felisiak, Piotr Andrzej 1 Font, Josep Maria 1 Fontana, Roberto 1 Franchella, Miriam 1 Gazzari, René 1 Gurevich, Yuri 1 Haffner, Emmylou 1 Heinemann, Anna-Sophie 1 Holmes, M. Randall 1 Hoppe-Kondrikova, Olga 1 Hounkonnou, Mahouton Norbert 1 Howse, John 1 Ibrahim, Adeku Musa 1 Indrzejczak, Andrzej 1 Ishii, Katsumasa 1 Ivanov, Aleksandr Olegovich 1 Janiš, Vladimír 1 Jansana, Ramon 1 John, Sunil Jacob 1 Kanovei, Vladimir G. 1 Kashima, Ryo 1 Kikuchi, Kentaro 1 Kobza, Vladimír 1 Kozlov, Mykyta V. 1 Kozlov, Valeriĭ Vasil’evich 1 Kumar P., Rajish 1 Kuo, Ting 1 Levin, Leonid A. 1 Li, Gun 1 Lomazova, Irina A. 1 Luciano, Erika 1 Lynch, Michael 1 Malink, Marko 1 Marchisotto, Elena Anne Corie 1 Martino, Enrico 1 Matiyasevich, Yuriĭ Vladimirovich 1 Mayor, Gaspar ...and 63 more Authors all top 5 Cited in 43 Journals 13 Logica Universalis 8 History and Philosophy of Logic 7 Historia Mathematica 6 Studia Logica 5 Fuzzy Sets and Systems 5 Notre Dame Journal of Formal Logic 4 Archive for History of Exact Sciences 4 Synthese 4 The Review of Symbolic Logic 3 Journal of Philosophical Logic 3 Logic and Logical Philosophy 3 Sibirskie Èlektronnye Matematicheskie Izvestiya 2 Physica A 2 Theoretical Computer Science 2 Annals of Pure and Applied Logic 2 Linear Algebra and its Applications 2 Foundations of Science 2 Applied Sciences 2 Proyecciones 2 Antiquitates Mathematicae 2 Logicheskie Issledovaniya 1 Indian Journal of Pure & Applied Mathematics 1 Mathematische Semesterberichte 1 Russian Mathematical Surveys 1 The Mathematical Intelligencer 1 Information Sciences 1 International Journal of Intelligent Systems 1 MSCS. Mathematical Structures in Computer Science 1 Expositiones Mathematicae 1 Acta Universitatis Matthiae Belii. Series Mathematics 1 Revue d’Histoire des Mathématiques 1 NTM. Neue Serie 1 Erkenntnis 1 Fundamenta Informaticae 1 South East Asian Journal of Mathematics and Mathematical Sciences 1 Chebyshevskiĭ Sbornik 1 BSHM Bulletin 1 Advances in Data Analysis and Classification. ADAC 1 Journal of Physics A: Mathematical and Theoretical 1 Algorithms 1 Palestine Journal of Mathematics 1 AIMS Mathematics 1 British Journal for the History of Mathematics all top 5 Cited in 22 Fields 91 Mathematical logic and foundations (03-XX) 62 History and biography (01-XX) 12 Computer science (68-XX) 11 General and overarching topics; collections (00-XX) 5 Group theory and generalizations (20-XX) 5 General topology (54-XX) 2 Combinatorics (05-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Category theory; homological algebra (18-XX) 2 Real functions (26-XX) 2 Statistical mechanics, structure of matter (82-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Sequences, series, summability (40-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year