Edit Profile (opens in new tab) Kleene, Stephen Cole Compute Distance To: Compute Author ID: kleene.stephen-cole Published as: Kleene, S. C.; Kleene, Stephen C.; Kleene, Stephen Cole; Kleene, Stephen; Kleene, S. more...less External Links: MacTutor · MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 84 Publications since 1934, including 15 Books 2 Further Contributions Biographic References: 5 Publications Co-Authors: 6 Co-Authors with 13 Joint Publications 19 Co-Co-Authors all top 5 Co-Authors 69 single-authored 4 Church, Alonzo 3 Rosser, John Barkley 2 Evans, H. P. 2 Vesley, Richard E. 1 Addison, J. W. 1 Adelson-Velsky, Georgy Maximovich 1 Alder, A. 1 Anisimov, Anatoly V. 1 Ashby, William Ross 1 Barwise, Kenneth Jon 1 Bārzdiņš, Jānis 1 Bauer, Friedrich Ludwig 1 Bergstra, Jan A. 1 Buda, A. 1 Culbertson, James T. 1 Davis, Martin David 1 deLeeuw, Karel 1 Ershov, Andreĭ Petrovich 1 Feferman, Solomon 1 Fenstad, Jens Erik 1 Friedman, Sy-David 1 Gandy, Robin O. 1 Glushkov, Viktor Mikhaĭlovich 1 Gödel, Kurt 1 Hyland, J. Martin E. 1 Kechris, Alexander S. 1 Knuth, Donald Ervin 1 Lerman, Manuel 1 Letychevs’kyĭ, Oleksandr Adol’fovych 1 Maass, Wolfgang 1 Mackay, D. M. 1 Manin, Yuriĭ Ivanovich 1 Marek, V. Wiktor 1 Matiyasevich, Yuriĭ Vladimirovich 1 McCarthy, John 1 Minsky, Marvin Lee 1 Moldestad, Johan 1 Moore, Edward F. 1 Nepeĭvoda, Nikolaĭ Nikolaevich 1 Normann, Dag 1 Post, Emil Leon 1 Sacks, Gerald Enoch 1 Semënov, Alekseĭ L’vovich 1 Shanin, Nikolaĭ Aleksandrovich 1 Shannon, Claude Elwood 1 Shore, Richard Arnold 1 Simpson, Stephen G. 1 Slisenko, A. O. 1 Stoltenberg-Hansen, Viggo 1 Strassen, Volker 1 Tseytlin, G. S. 1 Tyugu, Ènn Kharal’dovich 1 Uspenskiĭ, Vladimir Andreevich 1 Uttley, Albert M. 1 von Neumann, John 1 Wainer, Stanley Scott 1 Zemanek, Heinz all top 5 Serials 9 Bulletin of the American Mathematical Society 6 American Journal of Mathematics 6 The Journal of Symbolic Logic 5 Transactions of the American Mathematical Society 5 Annals of Mathematics. Second Series 3 Fundamenta Mathematicae 2 American Mathematical Monthly 2 Duke Mathematical Journal 2 Mathematische Annalen 2 Memoirs of the American Mathematical Society 1 Annals of the History of Computing 1 Acta Philosophica Fennica 1 Colloquium Mathematicum 1 Compositio Mathematica 1 Notre Dame Journal of Formal Logic 1 Proceedings of the American Mathematical Society 1 Proceedings of the London Mathematical Society. Third Series 1 Bulletin of the American Mathematical Society. New Series 1 Proceedings. Akadamie van Wetenschappen Amsterdam 1 Annals of Mathematics Studies 1 Lecture Notes in Computer Science 1 Studies in Logic and the Foundations of Mathematics 1 Nederlandse Akademie van Wetenschappen. Proceedings. Series A. Indagationes Mathematicae all top 5 Fields 28 Mathematical logic and foundations (03-XX) 7 History and biography (01-XX) 3 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 Number theory (11-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 71 Publications have been cited 2,223 times in 1,658 Documents Cited by ▼ Year ▼ Introduction to metamathematics. Zbl 0047.00703Kleene, S. C. 772 1952 Mathematical logic. Zbl 0149.24309Kleene, Stephen Cole 147 1967 On notation for ordinal numbers. Zbl 0020.33803Kleene, S. C. 130 1938 The foundations of intuitionistic mathematics. Especially in relation to recursive functions. (Studies in Logic and the Foundations of Mathematics). Zbl 0133.24601Kleene, S. C.; Vesley, R. E. 97 1965 On the interpretation of intuitionistic number theory. Zbl 0063.03260Kleene, S. C. 94 1945 The upper semi-lattice of degrees of recursive unsolvability. Zbl 0057.24703Kleene, S. C.; Post, Emil L. 93 1954 Recursive functionals and quantifiers of finite types. I. Zbl 0088.01301Kleene, S. C. 69 1959 General recursive functions of natural numbers. Zbl 0014.19402Kleene, S. C. 67 1936 Recursive predicates and quantifiers. Zbl 0063.03259Kleene, S. C. 65 1943 On the forms of the predicates in the theory of construction ordinals. II. Zbl 0067.25203Kleene, S. C. 61 1955 On the forms of the predicates in the theory of constructive ordinals. Zbl 0061.01003Kleene, S. C. 60 1944 Hierarchies of numer-theoretic predicates. Zbl 0066.25901Kleene, S. C. 60 1955 On notation for ordinal numbers. JFM 64.0932.03Kleene, S. C. 41 1938 Arithmetical predicates and function quantifiers. Zbl 0066.25703Kleene, S. C. 34 1955 Permutability of inferences in Gentzen’s calculi \(LK\) and \(LJ\). Zbl 0047.25002Kleene, S. C. 33 1952 \(\lambda\)-definability and recursiveness. Zbl 0014.38505Kleene, S. C. 31 1936 Countable functionals. Zbl 0100.24901Kleene, S. C. 25 1959 Quantification of number-theoretic functions. Zbl 0085.24701Kleene, S. C. 24 1958 Recursive functionals and quantifiers of finite types. II. Zbl 0121.01302Kleene, S. C. 24 1963 Formalized recursive functionals and formalized realizability. Zbl 0184.02004Kleene, S. C. 23 1969 Automata studies. Zbl 0074.11204Kleene, S. C.; von Neumann, J.; Culbertson, James T.; Minsky, M. L.; Moore, Edward F.; Shannon, Claude E.; McCarthy, John; Davis, M. D.; de Leeuw, K.; Shapiro, N.; Ashby, W. Ross; MacKay, D. M.; Uttley, Albert M. 20 1956 Introduction to metamathematics. 9th repr. Zbl 0875.03002Kleene, S. C. 20 1988 The inconsistency of certain formal logics. Zbl 0012.14602Kleene, S. C.; Rosser, J. B. 19 1935 Extension of an effectively generated class of functions by enumeration. Zbl 0085.24602Kleene, S. C. 17 1958 Disjunction and existence under implication in elementary intuitionistic formalism. Zbl 0112.24502Kleene, S. C. 17 1963 Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Zbl 0047.25001Kleene, S. C. 16 1952 Formal definitions in the theory of ordinal numbers. Zbl 0016.00201Church, Alonzo; Kleene, S. C. 14 1937 Reflections on Church’s thesis. Zbl 0649.03001Kleene, Stephen C. 12 1987 Origins of recursive function theory. Zbl 0998.03501Kleene, Stephen C. 11 1981 A note on recursive functions. Zbl 0015.05002Kleene, S. C. 10 1936 A symmetric form of Gödel’s theorem. Zbl 0038.03101Kleene, S. C. 10 1950 A theory of positive integers in formal logic. II. Zbl 0011.24103Kleene, S. C. 8 1935 General recursive functions of natural numbers. JFM 62.0044.02Kleene, S. C. 8 1936 \(\lambda\)-definability and recursiveness. JFM 62.0045.02Kleene, S. C. 8 1936 A theory of positive integers in formal logic. I. Zbl 0011.00202Kleene, S. C. 7 1935 The theory of recursive functions, approaching its centennial. Zbl 0486.03023Kleene, S. C. 6 1981 A note on function quantification. Zbl 0084.24901Addison, J. W.; Kleene, S. C. 6 1957 Classical extensions of intuitionistic mathematics. Zbl 0192.03002Kleene, S. C. 6 1965 Proof by cases in formal logic. Zbl 0010.14602Kleene, S. C. 5 1934 Formal definitions in the theory of ordinal numbers. JFM 63.0029.02Church, A.; Kleene, S. C. 5 1937 Mathematical logic. Reprint of the 1967 original. Zbl 1027.03002Kleene, Stephen Cole 5 2002 Introduction to metamathematics. 3rd edition. Zbl 0109.00509Kleene, S. C. 5 1959 Turing-machine computable functionals of finite types. II. Zbl 0192.05306Kleene, S. C. 5 1962 Realizability: A retrospective survey. Zbl 0272.02036Kleene, S. C. 5 1973 Unimonotone functions of finite types. (Recursive functionals and quantifiers of finite types revisited. IV). Zbl 0608.03015Kleene, S. C. 4 1985 Recursive functions and intuitionistic mathematics. Zbl 0049.15001Kleene, S. C. 3 1952 The inconsistency of certain formal logics. JFM 61.0056.04Kleene, S. C.; Rosser, J. B. 3 1935 Recursive functionals and quantifiers of finite types revisited. III. Zbl 0572.03027Kleene, S. C. 3 1982 Turing-machine computable functionals of finite types. I. Zbl 0192.05305Kleene, S. C. 3 1962 Recursive functionals and quantifiers of finite types revisited. II. Zbl 0453.03048Kleene, S. C. 2 1980 Realizability. Zbl 0088.24901Kleene, S. C. 2 1959 Origins of recursive function theory. Zbl 0565.03002Kleene, S. C. 2 1982 Turing’s analysis of computability, and major applications of it. Zbl 0655.03027Kleene, Stephen C. 2 1988 Algorithms in various contexts. Zbl 0583.68007Kleene, S. C. 2 1982 Mathematical logic: Constructive and non-constructive operations. Zbl 0126.01903Kleene, S. 2 1960 Herbrand-Gödel-style recursive functionals of finite types. Zbl 0171.26903Kleene, S. C. 2 1962 Constructive functions in the foundations of intuitionistic mathematics. Zbl 0191.28701Kleene, S. C. 2 1968 Mathematical logic. (Matematiceskaja logika.) Übersetzung aus dem Englischen von Ju. A. Gastev. Herausgegeben von G. E. Minc. Zbl 0273.02001Kleene, Stephen Cole 2 1973 The foundations of intuitionistic mathematics from the viewpoint of the theory of recursive functions. (Osnovaniya intuitsionistskoj matematiki s tochki zreniya teorii rekursivnykh funktsij.) Transl. from the English by F. A. Kabakov and B. A. Kushner. Zbl 0435.03038Kleene, S. C.; Vesley, R. E. 2 1978 A postulational basis for probability. Zbl 0021.14504Evans, H. P.; Kleene, S. C. 1 1939 On the intuitionistic logic. Zbl 0034.15401Kleene, S. C. 1 1949 A note on recursive functions. JFM 62.0045.01Kleene, S. C. 1 1936 A theory of positive integers in formal logic. I. JFM 61.0055.02Kleene, S. C. 1 1935 A theory of positive integers in formal logic. II. JFM 61.0056.01Kleene, S. C. 1 1935 The inconsistency of certain formal logics. JFM 61.0062.10Rosser, J. B.; Kleene, S. C. 1 1935 Recursive functionals and quantifiers of finite types revisited. V. Zbl 0748.03030Kleene, S. C. 1 1991 An addendum to ”The work of Kurt Gödel”. Zbl 0401.03001Kleene, Stephen C. 1 1978 The work of Kurt Gödel. Zbl 0366.02001Kleene, Stephen C. 1 1977 Logical calculus and realizability. Zbl 0133.25201Kleene, S. C. 1 1965 Logique mathématique. Zbl 0209.00801Kleene, S. C. 1 1971 Lambda-definable functionals of finite types. Zbl 0100.25001Kleene, S. C. 1 1962 Mathematical logic. Reprint of the 1967 original. Zbl 1027.03002Kleene, Stephen Cole 5 2002 Recursive functionals and quantifiers of finite types revisited. V. Zbl 0748.03030Kleene, S. C. 1 1991 Introduction to metamathematics. 9th repr. Zbl 0875.03002Kleene, S. C. 20 1988 Turing’s analysis of computability, and major applications of it. Zbl 0655.03027Kleene, Stephen C. 2 1988 Reflections on Church’s thesis. Zbl 0649.03001Kleene, Stephen C. 12 1987 Unimonotone functions of finite types. (Recursive functionals and quantifiers of finite types revisited. IV). Zbl 0608.03015Kleene, S. C. 4 1985 Recursive functionals and quantifiers of finite types revisited. III. Zbl 0572.03027Kleene, S. C. 3 1982 Origins of recursive function theory. Zbl 0565.03002Kleene, S. C. 2 1982 Algorithms in various contexts. Zbl 0583.68007Kleene, S. C. 2 1982 Origins of recursive function theory. Zbl 0998.03501Kleene, Stephen C. 11 1981 The theory of recursive functions, approaching its centennial. Zbl 0486.03023Kleene, S. C. 6 1981 Recursive functionals and quantifiers of finite types revisited. II. Zbl 0453.03048Kleene, S. C. 2 1980 The foundations of intuitionistic mathematics from the viewpoint of the theory of recursive functions. (Osnovaniya intuitsionistskoj matematiki s tochki zreniya teorii rekursivnykh funktsij.) Transl. from the English by F. A. Kabakov and B. A. Kushner. Zbl 0435.03038Kleene, S. C.; Vesley, R. E. 2 1978 An addendum to ”The work of Kurt Gödel”. Zbl 0401.03001Kleene, Stephen C. 1 1978 The work of Kurt Gödel. Zbl 0366.02001Kleene, Stephen C. 1 1977 Realizability: A retrospective survey. Zbl 0272.02036Kleene, S. C. 5 1973 Mathematical logic. (Matematiceskaja logika.) Übersetzung aus dem Englischen von Ju. A. Gastev. Herausgegeben von G. E. Minc. Zbl 0273.02001Kleene, Stephen Cole 2 1973 Logique mathématique. Zbl 0209.00801Kleene, S. C. 1 1971 Formalized recursive functionals and formalized realizability. Zbl 0184.02004Kleene, S. C. 23 1969 Constructive functions in the foundations of intuitionistic mathematics. Zbl 0191.28701Kleene, S. C. 2 1968 Mathematical logic. Zbl 0149.24309Kleene, Stephen Cole 147 1967 The foundations of intuitionistic mathematics. Especially in relation to recursive functions. (Studies in Logic and the Foundations of Mathematics). Zbl 0133.24601Kleene, S. C.; Vesley, R. E. 97 1965 Classical extensions of intuitionistic mathematics. Zbl 0192.03002Kleene, S. C. 6 1965 Logical calculus and realizability. Zbl 0133.25201Kleene, S. C. 1 1965 Recursive functionals and quantifiers of finite types. II. Zbl 0121.01302Kleene, S. C. 24 1963 Disjunction and existence under implication in elementary intuitionistic formalism. Zbl 0112.24502Kleene, S. C. 17 1963 Turing-machine computable functionals of finite types. II. Zbl 0192.05306Kleene, S. C. 5 1962 Turing-machine computable functionals of finite types. I. Zbl 0192.05305Kleene, S. C. 3 1962 Herbrand-Gödel-style recursive functionals of finite types. Zbl 0171.26903Kleene, S. C. 2 1962 Lambda-definable functionals of finite types. Zbl 0100.25001Kleene, S. C. 1 1962 Mathematical logic: Constructive and non-constructive operations. Zbl 0126.01903Kleene, S. 2 1960 Recursive functionals and quantifiers of finite types. I. Zbl 0088.01301Kleene, S. C. 69 1959 Countable functionals. Zbl 0100.24901Kleene, S. C. 25 1959 Introduction to metamathematics. 3rd edition. Zbl 0109.00509Kleene, S. C. 5 1959 Realizability. Zbl 0088.24901Kleene, S. C. 2 1959 Quantification of number-theoretic functions. Zbl 0085.24701Kleene, S. C. 24 1958 Extension of an effectively generated class of functions by enumeration. Zbl 0085.24602Kleene, S. C. 17 1958 A note on function quantification. Zbl 0084.24901Addison, J. W.; Kleene, S. C. 6 1957 Automata studies. Zbl 0074.11204Kleene, S. C.; von Neumann, J.; Culbertson, James T.; Minsky, M. L.; Moore, Edward F.; Shannon, Claude E.; McCarthy, John; Davis, M. D.; de Leeuw, K.; Shapiro, N.; Ashby, W. Ross; MacKay, D. M.; Uttley, Albert M. 20 1956 On the forms of the predicates in the theory of construction ordinals. II. Zbl 0067.25203Kleene, S. C. 61 1955 Hierarchies of numer-theoretic predicates. Zbl 0066.25901Kleene, S. C. 60 1955 Arithmetical predicates and function quantifiers. Zbl 0066.25703Kleene, S. C. 34 1955 The upper semi-lattice of degrees of recursive unsolvability. Zbl 0057.24703Kleene, S. C.; Post, Emil L. 93 1954 Introduction to metamathematics. Zbl 0047.00703Kleene, S. C. 772 1952 Permutability of inferences in Gentzen’s calculi \(LK\) and \(LJ\). Zbl 0047.25002Kleene, S. C. 33 1952 Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Zbl 0047.25001Kleene, S. C. 16 1952 Recursive functions and intuitionistic mathematics. Zbl 0049.15001Kleene, S. C. 3 1952 A symmetric form of Gödel’s theorem. Zbl 0038.03101Kleene, S. C. 10 1950 On the intuitionistic logic. Zbl 0034.15401Kleene, S. C. 1 1949 On the interpretation of intuitionistic number theory. Zbl 0063.03260Kleene, S. C. 94 1945 On the forms of the predicates in the theory of constructive ordinals. Zbl 0061.01003Kleene, S. C. 60 1944 Recursive predicates and quantifiers. Zbl 0063.03259Kleene, S. C. 65 1943 A postulational basis for probability. Zbl 0021.14504Evans, H. P.; Kleene, S. C. 1 1939 On notation for ordinal numbers. Zbl 0020.33803Kleene, S. C. 130 1938 On notation for ordinal numbers. JFM 64.0932.03Kleene, S. C. 41 1938 Formal definitions in the theory of ordinal numbers. Zbl 0016.00201Church, Alonzo; Kleene, S. C. 14 1937 Formal definitions in the theory of ordinal numbers. JFM 63.0029.02Church, A.; Kleene, S. C. 5 1937 General recursive functions of natural numbers. Zbl 0014.19402Kleene, S. C. 67 1936 \(\lambda\)-definability and recursiveness. Zbl 0014.38505Kleene, S. C. 31 1936 A note on recursive functions. Zbl 0015.05002Kleene, S. C. 10 1936 General recursive functions of natural numbers. JFM 62.0044.02Kleene, S. C. 8 1936 \(\lambda\)-definability and recursiveness. JFM 62.0045.02Kleene, S. C. 8 1936 A note on recursive functions. JFM 62.0045.01Kleene, S. C. 1 1936 The inconsistency of certain formal logics. Zbl 0012.14602Kleene, S. C.; Rosser, J. B. 19 1935 A theory of positive integers in formal logic. II. Zbl 0011.24103Kleene, S. C. 8 1935 A theory of positive integers in formal logic. I. Zbl 0011.00202Kleene, S. C. 7 1935 The inconsistency of certain formal logics. JFM 61.0056.04Kleene, S. C.; Rosser, J. B. 3 1935 A theory of positive integers in formal logic. I. JFM 61.0055.02Kleene, S. C. 1 1935 A theory of positive integers in formal logic. II. JFM 61.0056.01Kleene, S. C. 1 1935 The inconsistency of certain formal logics. JFM 61.0062.10Rosser, J. B.; Kleene, S. C. 1 1935 Proof by cases in formal logic. Zbl 0010.14602Kleene, S. C. 5 1934 all cited Publications top 5 cited Publications all top 5 Cited by 1,550 Authors 18 Mints, Grigoriĭ Efroimovich 16 Petrukhin, Yaroslav Igorevich 14 Shore, Richard Arnold 13 Moschovakis, Joan Rand 12 Lambek, Joachim 11 Bergstra, Jan A. 11 Feferman, Solomon 11 Jain, Sanjay 11 Slaman, Theodore A. 10 Barendregt, Hendrik Pieter 10 Dubois, Didier 10 Moschovakis, Yiannis Nicholas 10 Normann, Dag 10 Putnam, Hilary Whitehall 9 Kleene, Stephen Cole 9 Kohlenbach, Ulrich Wilhelm 9 Sacks, Gerald Enoch 9 Shönfield, Joseph R. 9 Veldman, Wim 8 Arieli, Ofer 8 Konovalov, Aleksandr Yur’evich 8 Kreisel, Georg 8 Sanders, Sam 7 Avron, Arnon 7 Béziau, Jean-Yves 7 Case, John 7 Constable, Robert Lee 7 Da Costa, Newton Carneiro Affonso 7 Denecker, Marc 7 Lawry, Jonathan 7 Ponse, Alban 7 Shangin, Vasily 7 Soare, Robert I. 7 Terwijn, Sebastiaan A. 7 Zucker, Jeffery I. 6 Ciucci, Davide 6 Downey, Rodney Graham 6 Francez, Nissim 6 Gilmore, Paul C. 6 Lewis, Alain A. 6 Marchenkov, Sergeĭ Serafimovich 6 Orevkov, V. P. 6 Pelletier, Francis Jeffry 6 Scott, Philip J. 6 Stephan, Frank 6 Zaslavskii, Igor Dmitrievich 5 Artemov, Sergei 5 Bauer, Andrej 5 Beall, Jc 5 Bogaerts, Bart 5 Cenzer, Douglas 5 Crossley, John Newsome 5 Leivant, Daniel M. 5 Montalbán, Antonio 5 Pynko, Alexej P. 5 Simpson, Stephen G. 5 Tanaka, Hisao 5 Troelstra, Anne Sjerp 5 Tucker, John V. 5 Vesley, Richard E. 5 Walsh, Sean 4 Ambainis, Andris 4 Beeson, Michael J. 4 Belyakin, N. V. 4 Chernov, V. P. 4 Colson, Loïc 4 Dekker, Jacob C. E. 4 DuBose, Derrick Albert 4 Ferguson, Thomas Macaulay 4 Fitting, Melvin Chris 4 Fokkink, Willem Jan 4 Gurevich, Yuri 4 Hájek, Petr 4 Harper, Robert 4 Hazen, Allen P. 4 Japaridze, Giorgi 4 Kalantari, Iraj 4 Kanamori, Akihiro 4 Kechris, Alexander S. 4 Kent, Clement F. 4 Khomich, V. I. 4 Konikowska, Beata 4 Kuyper, Rutger 4 Liu, Shih-Chao 4 Miller, Joseph S. 4 Miquel, Alexandre 4 Muravitsky, Alexei Yu. 4 Plisko, Valery 4 Prade, Henri M. 4 Rathjen, Michael 4 Robles, Gemma 4 Rogers, Hartley jun. 4 Rosser, John Barkley 4 Scarpellini, Bruno 4 Scowcroft, Philip 4 Sieg, Wilfried 4 Soskova, Mariya Ivanova 4 Szałas, Andrzej 4 Szmuc, Damian Enrique 4 Vennekens, Joost ...and 1,450 more Authors all top 5 Cited in 185 Serials 161 The Journal of Symbolic Logic 151 Theoretical Computer Science 110 Annals of Pure and Applied Logic 65 Studia Logica 54 Transactions of the American Mathematical Society 41 The Bulletin of Symbolic Logic 40 Archiv für Mathematische Logik und Grundlagenforschung 36 Archive for Mathematical Logic 35 Journal of Applied Non-Classical Logics 34 Journal of Philosophical Logic 31 Proceedings of the American Mathematical Society 31 History and Philosophy of Logic 28 Journal of Soviet Mathematics 28 Information and Computation 27 Journal of Computer and System Sciences 24 The Review of Symbolic Logic 20 MSCS. Mathematical Structures in Computer Science 18 Synthese 17 Artificial Intelligence 16 Algebra and Logic 15 Notre Dame Journal of Formal Logic 15 International Journal of Approximate Reasoning 15 Logica Universalis 13 Information Sciences 12 Mathematical Notes 12 Compositio Mathematica 12 Logic and Logical Philosophy 12 Journal of Applied Logic 11 Information Processing Letters 10 Fuzzy Sets and Systems 10 Siberian Mathematical Journal 10 Journal of Automated Reasoning 10 Mathematical Logic Quarterly (MLQ) 10 Proceedings of the Japan Academy 10 Logical Methods in Computer Science 9 Algebra Universalis 9 Applied Mathematics and Computation 9 Mathematische Annalen 9 Bulletin of the American Mathematical Society 8 Acta Informatica 8 Journal of Pure and Applied Algebra 8 Kybernetika 8 Indagationes Mathematicae. New Series 8 Journal of Mathematical Sciences (New York) 8 Computability 7 Advances in Mathematics 7 Formal Aspects of Computing 6 International Journal of General Systems 6 Israel Journal of Mathematics 6 The Mathematical Intelligencer 6 Mathematical Social Sciences 6 Journal of Logic, Language and Information 6 Journal of Logical and Algebraic Methods in Programming 5 Moscow University Mathematics Bulletin 5 Mathematical Systems Theory 5 Annals of Mathematics and Artificial Intelligence 5 Theory and Practice of Logic Programming 4 Discrete Mathematics 4 BIT 4 Tôhoku Mathematical Journal. Second Series 4 Bulletin of the Section of Logic 4 Cybernetics and Systems Analysis 4 Journal of Functional Programming 4 Theory of Computing Systems 4 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 4 Erkenntnis 4 The Journal of Logic and Algebraic Programming 4 Foundations of Physics 4 New Mathematics and Natural Computation 3 Computers & Mathematics with Applications 3 Moscow University Computational Mathematics and Cybernetics 3 Cybernetics 3 Journal of Symbolic Computation 3 International Journal of Algebra and Computation 3 International Journal of Computer Mathematics 3 Linear Algebra and its Applications 3 Bulletin of the American Mathematical Society. New Series 3 Formal Methods in System Design 3 Journal of Mathematical Logic 3 Lobachevskii Journal of Mathematics 3 Chelyabinskiĭ Fiziko-Matematicheskiĭ Zhurnal 2 Acta Mathematica Academiae Scientiarum Hungaricae 2 Journal of Mathematical Analysis and Applications 2 Chaos, Solitons and Fractals 2 Annales Scientifiques de l’Université de Clermont-Ferrand II. Mathématiques 2 Automatica 2 Bulletin de la Société Mathématique de France 2 Cahiers de Topologie et Géométrie Différentielle Catégoriques 2 Computing 2 International Journal of Computer & Information Sciences 2 Mathematische Nachrichten 2 Mathematische Zeitschrift 2 Nagoya Mathematical Journal 2 Programming and Computer Software 2 Publications of the Research Institute for Mathematical Sciences, Kyoto University 2 Science of Computer Programming 2 Journal of the American Mathematical Society 2 International Journal of Foundations of Computer Science 2 European Journal of Operational Research 2 Historia Mathematica ...and 85 more Serials all top 5 Cited in 46 Fields 1,205 Mathematical logic and foundations (03-XX) 499 Computer science (68-XX) 68 History and biography (01-XX) 49 Category theory; homological algebra (18-XX) 44 Order, lattices, ordered algebraic structures (06-XX) 30 General and overarching topics; collections (00-XX) 29 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 28 General algebraic systems (08-XX) 21 General topology (54-XX) 17 Quantum theory (81-XX) 12 Combinatorics (05-XX) 12 Group theory and generalizations (20-XX) 10 Systems theory; control (93-XX) 10 Information and communication theory, circuits (94-XX) 8 Real functions (26-XX) 7 Dynamical systems and ergodic theory (37-XX) 7 Biology and other natural sciences (92-XX) 6 Probability theory and stochastic processes (60-XX) 5 Number theory (11-XX) 5 Algebraic topology (55-XX) 5 Operations research, mathematical programming (90-XX) 4 Field theory and polynomials (12-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 4 Associative rings and algebras (16-XX) 4 Measure and integration (28-XX) 4 Operator theory (47-XX) 4 Geometry (51-XX) 4 Statistics (62-XX) 3 Commutative algebra (13-XX) 3 Topological groups, Lie groups (22-XX) 3 Ordinary differential equations (34-XX) 2 Sequences, series, summability (40-XX) 2 Functional analysis (46-XX) 2 Numerical analysis (65-XX) 2 Mechanics of particles and systems (70-XX) 2 Relativity and gravitational theory (83-XX) 1 Nonassociative rings and algebras (17-XX) 1 Difference and functional equations (39-XX) 1 Approximations and expansions (41-XX) 1 Abstract harmonic analysis (43-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Convex and discrete geometry (52-XX) 1 Manifolds and cell complexes (57-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Mechanics of deformable solids (74-XX) 1 Classical thermodynamics, heat transfer (80-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.