Edit Profile (opens in new tab) Troelstra, Anne Sjerp (b. 1939 d. 2019) Co-Author Distance Author ID: troelstra.anne-sjerp Published as: Troelstra, A. S.; Troelstra, Anne; Troelstra, A. more...less External Links: MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 68 Publications since 1965, including 12 Books 3 Contributions as Editor · 4 Further Contributions Biographic References: 3 Publications Co-Authors: 14 Co-Authors with 16 Joint Publications 271 Co-Co-Authors all top 5 Co-Authors 58 single-authored 5 van Dalen, Dirk 4 Schwichtenberg, Helmut 3 Barwise, Kenneth Jon 3 Macintyre, Angus John 3 Reyes, Gonzalo E. 2 Aczel, Peter 2 Barendregt, Hendrik Pieter 2 Burgess, John P. 2 Davis, Martin David 2 Devlin, Keith J. 2 Eklof, Paul C. 2 Enderton, Herbert B. 2 Feferman, Solomon 2 Fourman, Michael Paul 2 Harrington, Leo A. 2 Jech, Thomas J. 2 Juhász, István 2 Kechris, Alexander S. 2 Keisler, Howard Jerome 2 Kock, Anders Jungersen 2 Kreisel, Georg 2 Kunen, Kenneth 2 Makkai, Michael 2 Martin, Donald A. 2 Morley, Michael Darwin 2 Moschovakis, Yiannis Nicholas 2 Paris, Jeffrey Bruce 2 Rabin, Michael O. 2 Rudin, Mary Ellen 2 Shönfield, Joseph R. 2 Shore, Richard Arnold 2 Simpson, Stephen G. 2 Smoryński, Craig 2 Statman, Richard 2 Stroyan, Keith D. 1 Agazzi, Evandro 1 Artemov, Sergei 1 Belnap, Nuel D. jun. 1 Bocheński, Józef Maria 1 Böhm, Corrado 1 Casari, Ettore 1 Castro Perelman, Carlos 1 Dalla Chiara, Maria Luisa 1 de Jongh, Dick Herman Jacobus 1 Diller, Justus 1 Fenstad, Jens Erik 1 Hermes, Hans 1 Hintikka, Jaakko 1 Kister, Jane Elizabeth 1 Kushner, Boris A. 1 Lejewski, Czesław 1 Massey, Gerald J. 1 Mints, Grigoriĭ Efroimovich 1 Müller, Gert Heinz 1 Niekus, N. H. 1 Nogina, Elena 1 Prijatelj, Andreja 1 Schütte, Kurt 1 Stalnaker, Robert C. 1 Surma, Stanislaw J. 1 Takeuti, Gaisi 1 van der Hoeven, Gerrit F. 1 van Fraassen, Bas C. 1 van Riemsdijk, H. 1 von Wright, Georg Henrik all top 5 Serials 9 Nederlandse Akademie van Wetenschappen. Proceedings. Series A. Indagationes Mathematicae 5 Studies in Logic and the Foundations of Mathematics 4 Nieuw Archief voor Wiskunde. Derde Serie 3 Compositio Mathematica 3 Studia Logica 2 Annals of Mathematical Logic 2 Fundamenta Mathematicae 2 Indagationes Mathematicae 2 The Journal of Symbolic Logic 2 Theoretical Computer Science 2 Cambridge Tracts in Theoretical Computer Science 2 Lecture Notes in Mathematics 1 Journal of Philosophical Logic 1 Verslag van de Gewone Vergadering van de Afdeling Natuurkunde 1 Notre Dame Journal of Formal Logic 1 Synthese 1 Annals of Pure and Applied Logic 1 CWI Quarterly 1 The Bulletin of Symbolic Logic 1 Philosophia Mathematica. Series III 1 CSLI Lecture Notes 1 Oxford Logic Guides 1 Synthese Library 1 Perspectives in Mathematical Logic all top 5 Fields 62 Mathematical logic and foundations (03-XX) 9 History and biography (01-XX) 5 Computer science (68-XX) 3 General and overarching topics; collections (00-XX) 3 General topology (54-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Quantum theory (81-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 59 Publications have been cited 1,827 times in 1,394 Documents Cited by ▼ Year ▼ Constructivism in mathematics. An introduction. Volume II. Zbl 0661.03047 Troelstra, A. S.; van Dalen, D. 320 1988 Constructivism in mathematics. An introduction. Volume I. Zbl 0653.03040 Troelstra, A. S.; van Dalen, D. 286 1988 Basic proof theory. 2nd ed. Zbl 0957.03053 Troelstra, A. S.; Schwichtenberg, H. 265 2000 Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard. Zbl 0275.02025 260 1973 Basic proof theory. Zbl 0868.03024 Troelstra, A. S.; Schwichtenberg, H. 166 1996 Lectures on linear logic. Zbl 0942.03535 Troelstra, A. S. 93 1992 Formal systems for some branches of intuitionistic analysis. Zbl 0211.01101 Kreisel, Georg; Troelstra, A. S. 53 1970 Choice sequences. A chapter of intuitionistic mathematics. Zbl 0355.02026 Troelstra, A. S. 42 1977 Realizability. Zbl 0911.03031 Troelstra, A. S. 32 1998 On the connection of partially ordered sets with some pseudo-Boolean algebras. Zbl 0137.02203 de Jongh, D. H. J.; Troelstra, A. S. 30 1966 Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY. Zbl 0181.00504 Troelstra, A. S. 29 1969 On intermediate propositional logics. Zbl 0143.01102 Troelstra, A. S. 21 1965 Notions of realizability for intuitionistic arithmetic and intuitionistic arithmetic in all finite types. Zbl 0227.02015 Troelstra, A. S. 16 1971 Notes on intuitionistic second order arithmetic. Zbl 0275.02036 Troelstra, A. S. 16 1973 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001 14 1978 Note on the fan theorem. Zbl 0306.02026 Troelstra, A. S. 11 1974 On the early history of intuitionistic logic. Zbl 0770.03002 Troelstra, A. S. 10 1990 On the syntax of Martin-Löf’s type theories. Zbl 0638.03056 Troelstra, A. S. 10 1987 Realizability and intuitionistic logic. Zbl 0537.03043 Diller, J.; Troelstra, A. S. 8 1984 On a second order propositional operator in intuitionistic logic. Zbl 0473.03022 Troelstra, A. S. 8 1981 A note on non-extensional operations in connection with continuity and recursiveness. Zbl 0368.02026 Troelstra, A. S. 8 1977 Analysing choice sequences. Zbl 0518.03023 Troelstra, A. S. 7 1983 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001 7 1982 Natural deduction for intuitionistic linear logic. Zbl 0817.03002 Troelstra, A. S. 6 1995 Comparing the theory of representations and constructive mathematics. Zbl 0783.03032 Troelstra, A. S. 6 1992 On the origin and development of Brouwer’s concept of choice sequence. Zbl 0522.03049 Troelstra, A. S. 6 1982 Strong normalization for typed terms with surjective pairing. Zbl 0624.03043 Troelstra, A. S. 5 1986 From constructivism to computer science. Zbl 0913.68074 Troelstra, A. S. 5 1999 The theory of choice sequences. Zbl 0185.01002 Troelstra, A. S. 5 1968 Informal theory of choice sequences. Zbl 0263.02017 Troelstra, A. S. 4 1969 Some models for intuitionistic finite type arithmetic with fan functional. Zbl 0385.03048 Troelstra, A. S. 4 1977 History of constructivism in the 20th century. Zbl 1252.03006 Troelstra, A. S. 4 2011 Completeness and validity for intuitionistic predicate logic. Zbl 0439.03009 Troelstra, A. S. 3 1977 Intuitionistic extensions of the reals. II. Zbl 0494.03039 Troelstra, A. S. 3 1982 The L. E. J. Brouwer Centenary Symposium. Proceedings of the Conference held in Noordwijkerhout, 8–13 June, 1981. Zbl 0505.00008 3 1982 Finite and infinite in intuitionistic mathematics. Zbl 0163.00501 Troelstra, A. S. 3 1967 Projections of lawless sequences. Zbl 0205.00502 van Dalen, Dirk; Troelstra, A. S. 3 1970 Markov’s principle and Markov’s rule for theories of choice sequences. Zbl 0324.02015 Troelstra, A. S. 3 1974 Arend Heyting and his contribution to intuitionism. Zbl 0452.01010 Troelstra, A. S. 2 1981 Marginalia on sequent claculi. Zbl 0924.03104 Troelstra, A. S. 2 1999 Definability of finite sum types in Martin-Löf’s type theories. Zbl 0532.03027 Troelstra, A. S. 2 1983 Non-extensional equality. Zbl 0299.02036 Troelstra, A. S. 2 1975 Note on the fan theorem. Zbl 0323.02041 Troelstra, A. S. 2 1974 Intuitionistic extensions of the reals. Zbl 0432.03035 Troelstra, A. S. 1 1980 Extended bar induction of type zero. Zbl 0444.03031 Troelstra, A. S. 1 1980 Choice sequences: A retrospect. Zbl 0869.03032 Troelstra, A. S. 1 1996 Projections of lawless sequences. II. Zbl 0443.03025 van der Hoeven, G. F.; Troelstra, A. S. 1 1979 Intuitionistic continuity. Zbl 0153.00703 Troelstra, A. S. 1 1967 Intuitionistic connectedness. Zbl 0165.30501 Troelstra, A. S. 1 1967 Notes on the intuitionistic theory of sequences. I. Zbl 0188.31603 Troelstra, A. S. 1 1969 An addendum. Zbl 0231.02041 Troelstra, A. S. 1 1971 New sets of postulates for intuitionistic topology. Zbl 0164.30804 Troelstra, A. S. 1 1968 The use of ’Brouwer’s principle’ in intuitionistic topology. Zbl 0181.00601 Troelstra, A. S. 1 1968 Notes on the intuitionistic theory of sequences. III. Zbl 0211.01006 Troelstra, A. S. 1 1970 Validity and completeness for intuitionistic predicate logic. Zbl 0725.03041 Troelstra, A. S. 1 1988 Axioms for intuitionistic mathematics incompatible with classical logic. Zbl 0375.02010 Troelstra, A. S. 1 1977 Markov’s principle and Markov’s rule for theories of choice sequences. Zbl 0325.02015 Troelstra, A. S. 1 1975 Choice sequences. Zbl 0323.02040 Troelstra, A. S. 1 1974 Some models for intuitionistic finite type arithmetic with fan- functional. Zbl 0323.02042 Troelstra, A. S. 1 1974 History of constructivism in the 20th century. Zbl 1252.03006 Troelstra, A. S. 4 2011 Basic proof theory. 2nd ed. Zbl 0957.03053 Troelstra, A. S.; Schwichtenberg, H. 265 2000 From constructivism to computer science. Zbl 0913.68074 Troelstra, A. S. 5 1999 Marginalia on sequent claculi. Zbl 0924.03104 Troelstra, A. S. 2 1999 Realizability. Zbl 0911.03031 Troelstra, A. S. 32 1998 Basic proof theory. Zbl 0868.03024 Troelstra, A. S.; Schwichtenberg, H. 166 1996 Choice sequences: A retrospect. Zbl 0869.03032 Troelstra, A. S. 1 1996 Natural deduction for intuitionistic linear logic. Zbl 0817.03002 Troelstra, A. S. 6 1995 Lectures on linear logic. Zbl 0942.03535 Troelstra, A. S. 93 1992 Comparing the theory of representations and constructive mathematics. Zbl 0783.03032 Troelstra, A. S. 6 1992 On the early history of intuitionistic logic. Zbl 0770.03002 Troelstra, A. S. 10 1990 Constructivism in mathematics. An introduction. Volume II. Zbl 0661.03047 Troelstra, A. S.; van Dalen, D. 320 1988 Constructivism in mathematics. An introduction. Volume I. Zbl 0653.03040 Troelstra, A. S.; van Dalen, D. 286 1988 Validity and completeness for intuitionistic predicate logic. Zbl 0725.03041 Troelstra, A. S. 1 1988 On the syntax of Martin-Löf’s type theories. Zbl 0638.03056 Troelstra, A. S. 10 1987 Strong normalization for typed terms with surjective pairing. Zbl 0624.03043 Troelstra, A. S. 5 1986 Realizability and intuitionistic logic. Zbl 0537.03043 Diller, J.; Troelstra, A. S. 8 1984 Analysing choice sequences. Zbl 0518.03023 Troelstra, A. S. 7 1983 Definability of finite sum types in Martin-Löf’s type theories. Zbl 0532.03027 Troelstra, A. S. 2 1983 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001 7 1982 On the origin and development of Brouwer’s concept of choice sequence. Zbl 0522.03049 Troelstra, A. S. 6 1982 Intuitionistic extensions of the reals. II. Zbl 0494.03039 Troelstra, A. S. 3 1982 The L. E. J. Brouwer Centenary Symposium. Proceedings of the Conference held in Noordwijkerhout, 8–13 June, 1981. Zbl 0505.00008 3 1982 On a second order propositional operator in intuitionistic logic. Zbl 0473.03022 Troelstra, A. S. 8 1981 Arend Heyting and his contribution to intuitionism. Zbl 0452.01010 Troelstra, A. S. 2 1981 Intuitionistic extensions of the reals. Zbl 0432.03035 Troelstra, A. S. 1 1980 Extended bar induction of type zero. Zbl 0444.03031 Troelstra, A. S. 1 1980 Projections of lawless sequences. II. Zbl 0443.03025 van der Hoeven, G. F.; Troelstra, A. S. 1 1979 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001 14 1978 Choice sequences. A chapter of intuitionistic mathematics. Zbl 0355.02026 Troelstra, A. S. 42 1977 A note on non-extensional operations in connection with continuity and recursiveness. Zbl 0368.02026 Troelstra, A. S. 8 1977 Some models for intuitionistic finite type arithmetic with fan functional. Zbl 0385.03048 Troelstra, A. S. 4 1977 Completeness and validity for intuitionistic predicate logic. Zbl 0439.03009 Troelstra, A. S. 3 1977 Axioms for intuitionistic mathematics incompatible with classical logic. Zbl 0375.02010 Troelstra, A. S. 1 1977 Non-extensional equality. Zbl 0299.02036 Troelstra, A. S. 2 1975 Markov’s principle and Markov’s rule for theories of choice sequences. Zbl 0325.02015 Troelstra, A. S. 1 1975 Note on the fan theorem. Zbl 0306.02026 Troelstra, A. S. 11 1974 Markov’s principle and Markov’s rule for theories of choice sequences. Zbl 0324.02015 Troelstra, A. S. 3 1974 Note on the fan theorem. Zbl 0323.02041 Troelstra, A. S. 2 1974 Choice sequences. Zbl 0323.02040 Troelstra, A. S. 1 1974 Some models for intuitionistic finite type arithmetic with fan- functional. Zbl 0323.02042 Troelstra, A. S. 1 1974 Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard. Zbl 0275.02025 260 1973 Notes on intuitionistic second order arithmetic. Zbl 0275.02036 Troelstra, A. S. 16 1973 Notions of realizability for intuitionistic arithmetic and intuitionistic arithmetic in all finite types. Zbl 0227.02015 Troelstra, A. S. 16 1971 An addendum. Zbl 0231.02041 Troelstra, A. S. 1 1971 Formal systems for some branches of intuitionistic analysis. Zbl 0211.01101 Kreisel, Georg; Troelstra, A. S. 53 1970 Projections of lawless sequences. Zbl 0205.00502 van Dalen, Dirk; Troelstra, A. S. 3 1970 Notes on the intuitionistic theory of sequences. III. Zbl 0211.01006 Troelstra, A. S. 1 1970 Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY. Zbl 0181.00504 Troelstra, A. S. 29 1969 Informal theory of choice sequences. Zbl 0263.02017 Troelstra, A. S. 4 1969 Notes on the intuitionistic theory of sequences. I. Zbl 0188.31603 Troelstra, A. S. 1 1969 The theory of choice sequences. Zbl 0185.01002 Troelstra, A. S. 5 1968 New sets of postulates for intuitionistic topology. Zbl 0164.30804 Troelstra, A. S. 1 1968 The use of ’Brouwer’s principle’ in intuitionistic topology. Zbl 0181.00601 Troelstra, A. S. 1 1968 Finite and infinite in intuitionistic mathematics. Zbl 0163.00501 Troelstra, A. S. 3 1967 Intuitionistic continuity. Zbl 0153.00703 Troelstra, A. S. 1 1967 Intuitionistic connectedness. Zbl 0165.30501 Troelstra, A. S. 1 1967 On the connection of partially ordered sets with some pseudo-Boolean algebras. Zbl 0137.02203 de Jongh, D. H. J.; Troelstra, A. S. 30 1966 On intermediate propositional logics. Zbl 0143.01102 Troelstra, A. S. 21 1965 all cited Publications top 5 cited Publications all top 5 Cited by 1,003 Authors 29 Ishihara, Hajime 26 Bridges, Douglas Suth 25 Kohlenbach, Ulrich Wilhelm 24 Sanders, Sam 20 Iemhoff, Rosalie 18 Rathjen, Michael 17 Schuster, Peter Michael 13 Oliva, Paulo 12 Ferrari, Mauro 12 Jäger, Gerhard 12 Moschovakis, Joan Rand 12 Negri, Sara 11 Ardeshir, Mohammad 11 Fiorentini, Camillo 11 Lubarsky, Robert S. 11 Strahm, Thomas 11 Visser, Albert 11 Vîţă, Luminiţa Simona 10 Coquand, Thierry 10 Kamide, Norihiro 10 Kawai, Tatsuji 10 Nemoto, Takako 10 Van den Berg, Benno 9 Poggiolesi, Francesca 9 Pym, David J. 9 Ščedrov, Andrej 9 van Benthem, Johan F. A. K. 8 Baaz, Matthias 8 de Jongh, Dick Herman Jacobus 8 Ferreira, Fernando 8 Fujiwara, Makoto 8 McCarty, Charles 8 Pattinson, Dirk 8 Schwichtenberg, Helmut 8 Troelstra, Anne Sjerp 8 Wansing, Heinrich Theodor 7 Artemov, Sergei 7 Bauer, Andrej 7 Berger, Ulrich 7 Dyckhoff, Roy 7 Niki, Satoru 7 Normann, Dag 7 Ono, Hiroakira 7 Palmgren, Erik 7 Pimentel, Elaine 7 Sano, Katsuhiko 7 Streicher, Thomas 7 Terwijn, Sebastiaan A. 7 Tranchini, Luca 7 van Dalen, Dirk 7 van Oosten, Jaap 7 Veldman, Wim 6 Braüner, Torben 6 Buss, Samuel R. 6 Cohen, Liron 6 Constable, Robert Lee 6 Ferreira, Gilda 6 Friedman, Harvey M. 6 Galmiche, Didier 6 Gaspar, Jaime 6 Indrzejczak, Andrzej 6 Kürbis, Nils 6 Leigh, Graham Emil 6 Leivant, Daniel M. 6 Maffezioli, Paolo 6 Maietti, Maria Emilia 6 Masini, Andrea 6 Mints, Grigoriĭ Efroimovich 6 Moniri, Morteza 6 Nigam, Vivek 6 Olarte, Carlos 6 Prawitz, Dag 6 Richman, Fred 6 Romano, Daniel Abraham 6 Scott, Philip J. 6 Studer, Thomas 6 Wessel, Daniel 5 Aschieri, Federico 5 Avigad, Jeremy 5 Goudsmit, Jeroen P. 5 Hetzl, Stefan 5 Hofmann, Martin 5 Humberstone, Lloyd 5 Leszczyńska-Jasion, Dorota 5 Lipton, James B. 5 Moerdijk, Ieke 5 Orlandelli, Eugenio 5 Paßmann, Robert 5 Posy, Carl J. 5 Prijatelj, Andreja 5 Pulcini, Gabriele 5 Raftery, James G. 5 Reis, Giselle 5 Sambin, Giovanni 5 van Atten, Mark 5 Więckowski, Bartosz 5 Yu, Junhua 4 Akbar Tabatabai, Amirhossein 4 Avron, Arnon 4 Berger, Josef ...and 903 more Authors all top 5 Cited in 114 Serials 194 Annals of Pure and Applied Logic 87 Studia Logica 86 Theoretical Computer Science 81 The Journal of Symbolic Logic 70 Archive for Mathematical Logic 59 Journal of Philosophical Logic 56 Mathematical Logic Quarterly (MLQ) 37 Notre Dame Journal of Formal Logic 32 Synthese 32 The Review of Symbolic Logic 28 Information and Computation 27 Indagationes Mathematicae. New Series 21 Logical Methods in Computer Science 20 Mathematical Structures in Computer Science 19 Journal of Automated Reasoning 18 Journal of Logic, Language and Information 17 The Bulletin of Symbolic Logic 16 Journal of Applied Non-Classical Logics 14 Journal of Applied Logic 12 Logica Universalis 11 History and Philosophy of Logic 10 Journal of Pure and Applied Algebra 10 Bulletin of the Section of Logic 9 Logic and Logical Philosophy 7 Archiv für Mathematische Logik und Grundlagenforschung 7 Advances in Mathematics 7 Algebra Universalis 6 Compositio Mathematica 5 Algebra and Logic 5 Erkenntnis 4 Mathematical Notes 4 Publications of the Research Institute for Mathematical Sciences, Kyoto University 4 Transactions of the American Mathematical Society 4 Journal of Symbolic Computation 4 Journal of Complexity 4 Annals of Mathematics and Artificial Intelligence 4 Theory of Computing Systems 4 Topoi 4 The Journal of Logic and Algebraic Programming 4 ACM Transactions on Computational Logic 4 Computability 3 International Journal of Theoretical Physics 3 Proceedings of the American Mathematical Society 3 Semigroup Forum 3 Journal of Functional Programming 3 Foundations of Physics 3 Oberwolfach Reports 3 Journal of Logic and Analysis 3 Journal of Logical and Algebraic Methods in Programming 2 Information Processing Letters 2 Mathematical Proceedings of the Cambridge Philosophical Society 2 The Mathematical Intelligencer 2 Fuzzy Sets and Systems 2 Journal of Approximation Theory 2 Journal of Soviet Mathematics 2 Journal of Computer Science and Technology 2 Historia Mathematica 2 Journal of Mathematical Sciences (New York) 2 Sbornik: Mathematics 2 LMS Journal of Computation and Mathematics 2 Journal of Mathematical Logic 2 Nôus 1 Acta Informatica 1 Archive for History of Exact Sciences 1 Artificial Intelligence 1 Communications in Mathematical Physics 1 Journal of Mathematical Analysis and Applications 1 Lithuanian Mathematical Journal 1 Mathematische Semesterberichte 1 Annales Scientifiques de l’Université de Clermont-Ferrand II. Mathématiques 1 BIT 1 Bulletin of the London Mathematical Society 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 Journal of Functional Analysis 1 Journal of Number Theory 1 Kybernetika 1 Publications de l’Institut Mathématique. Nouvelle Série 1 Tôhoku Mathematical Journal. Second Series 1 Order 1 Theoria. Segunda Epoca 1 International Journal of Approximate Reasoning 1 Formal Aspects of Computing 1 Annals of Operations Research 1 International Journal of Algebra and Computation 1 Pattern Recognition 1 Bulletin of the American Mathematical Society. New Series 1 Applied Categorical Structures 1 Filomat 1 Selecta Mathematica. New Series 1 Documenta Mathematica 1 Constraints 1 Soft Computing 1 Matematicheskie Trudy 1 Foundations of Science 1 Communications in Contemporary Mathematics 1 Fundamenta Informaticae 1 Annales Mathematicae Silesianae 1 Kragujevac Journal of Mathematics 1 Theory and Practice of Logic Programming 1 Journal of Multiple-Valued Logic and Soft Computing ...and 14 more Serials all top 5 Cited in 36 Fields 1,291 Mathematical logic and foundations (03-XX) 285 Computer science (68-XX) 59 Order, lattices, ordered algebraic structures (06-XX) 58 Category theory; homological algebra (18-XX) 38 General topology (54-XX) 36 History and biography (01-XX) 24 General and overarching topics; collections (00-XX) 20 Real functions (26-XX) 18 Functional analysis (46-XX) 15 General algebraic systems (08-XX) 15 Operator theory (47-XX) 14 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 13 Quantum theory (81-XX) 9 Group theory and generalizations (20-XX) 6 Number theory (11-XX) 6 Geometry (51-XX) 6 Algebraic topology (55-XX) 4 Combinatorics (05-XX) 4 Commutative algebra (13-XX) 3 Field theory and polynomials (12-XX) 3 Approximations and expansions (41-XX) 3 Probability theory and stochastic processes (60-XX) 2 Measure and integration (28-XX) 2 Differential geometry (53-XX) 1 Associative rings and algebras (16-XX) 1 \(K\)-theory (19-XX) 1 Functions of a complex variable (30-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Sequences, series, summability (40-XX) 1 Convex and discrete geometry (52-XX) 1 Manifolds and cell complexes (57-XX) 1 Relativity and gravitational theory (83-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-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.