Edit Profile (opens in new tab) Omodeo, Eugenio Giovanni Co-Author Distance Author ID: omodeo.eugenio-giovanni Published as: Omodeo, Eugenio G.; Omodeo, E. G.; Omodeo, Eugenio; Omodeo, Eugenio Giovanni; Omodeo, E. more...less External Links: MGP · ORCID · Google Scholar · dblp · GND Documents Indexed: 68 Publications since 1978, including 4 Books and 2 Additional arXiv Preprints 5 Contributions as Editor Biographic References: 1 Publication Co-Authors: 37 Co-Authors with 67 Joint Publications 551 Co-Co-Authors all top 5 Co-Authors 6 single-authored 24 Cantone, Domenico 22 Policriti, Alberto 11 Formisano, Andrea 9 Tomescu, Alexandru Ioan 8 Ferro, Alfredo 8 Schwartz, Jacob Theodore 3 Davis, Martin David 3 Doberkat, Ernst-Erich 3 Dovier, Agostino 3 Maugeri, Pietro 3 Temperini, Marco 2 Casagrande, Alberto 2 Ghelfo, Susanna 2 Nicolosi Asmundo, Marianna 2 Orłowska, Ewa S. 2 Parlamento, Franco 2 Putnam, Hilary Whitehall 2 Spartà, Gaetano T. 2 Ursino, Pietro 1 Breban, Michael 1 Buriola, Gabriele 1 Caianiello, Pasquale 1 Calvert, Wesley 1 Chiaruttini, Claudio 1 Cincotti, Gianluca 1 Corvaja, Pietro 1 Costantini, Stefania 1 Cuzziol, Luca 1 D’Agostino, Giovanna 1 De Domenico, Andrea 1 Fabris, Francesco 1 Harizanov, Valentina S. 1 Panettiere, Mattia 1 Pontelli, Enrico 1 Proietti, Maurizio 1 Rossi, Gianfranco 1 Shlapentokh, Alexandra 1 Vallata, Luca 1 Zarba, Calogero G. all top 5 Serials 7 Communications on Pure and Applied Mathematics 6 Theoretical Computer Science 5 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 4 Le Matematiche 3 The Journal of Symbolic Logic 3 Journal of Symbolic Computation 3 Journal of Logic and Computation 3 Fundamenta Informaticae 2 Journal of Automated Reasoning 1 Computers & Mathematics with Applications 1 Notre Dame Journal of Formal Logic 1 Rendiconti del Seminario Matematico della Università di Padova 1 The Journal of Logic Programming 1 Information and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Applicable Algebra in Engineering, Communication and Computing 1 Mathematical Logic Quarterly (MLQ) 1 ACM Transactions on Computational Logic 1 International Series of Monographs on Computer Science 1 RAIRO. Theoretical Informatics and Applications 1 Outstanding Contributions to Logic all top 5 Fields 66 Mathematical logic and foundations (03-XX) 38 Computer science (68-XX) 4 History and biography (01-XX) 4 Combinatorics (05-XX) 4 Number theory (11-XX) 3 General and overarching topics; collections (00-XX) 1 General algebraic systems (08-XX) 1 Real functions (26-XX) 1 Functions of a complex variable (30-XX) 1 General topology (54-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 48 Publications have been cited 249 times in 93 Documents Cited by ▼ Year ▼ Set theory for computing. From decision procedures to declarative programming with sets. Foreword by Jacob T. Schwartz. Zbl 0981.03056 Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto 30 2001 Computable set theory. Vol. 1. Zbl 0755.03024 Cantone, Domenico; Ferro, Alfredo; Omodeo, Eugenio 24 1989 \(\{\log\}\): A language for programming in logic with finite sets. Zbl 0874.68056 Dovier, Agostino; Omodeo, Eugenio G.; Pontelli, Enrico; Rossi, Gianfranco 22 1996 Decision procedures for elementary sublanguages of set theory. I: Multi- level syllogistic and some extensions. Zbl 0453.03009 Ferro, Alfredo; Omodeo, Eugenio G.; Schwartz, Jacob T. 20 1980 Computational logic and set theory. Applying formalized logic to analysis. Foreword by Martin Davis. Zbl 1246.03006 Schwartz, Jacob T.; Cantone, Domenico; Omodeo, Eugenio G. 16 2011 Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions. Zbl 0465.03003 Breban, M.; Ferro, A.; Omodeo, E. G.; Schwartz, J. T. 11 1981 Decidability of \(\exists^* \forall\)-sentences in membership theories. Zbl 0836.03011 Omodeo, Eugenio G.; Parlamento, Franco; Policriti, Alberto 7 1996 The automation of syllogistic. II: Optimization and complexity issues. Zbl 0744.03015 Cantone, D.; Omodeo, E. G.; Policriti, A. 7 1990 Decision procedures for some fragments of set theory. Zbl 0457.03009 Ferro, A.; Omodeo, E. G.; Schwartz, J. T. 7 1980 Compiling dyadic first-order specifications into map algebra. Zbl 1025.68053 Cantone, D.; Formisano, A.; Omodeo, E. G.; Zarba, C. G. 7 2003 An equational re-engineering of set theories. Zbl 0955.03016 Formisano, Andrea; Omodeo, Eugenio 6 2000 Goals and benchmarks for automated map reasoning. Zbl 0965.03014 Formisano, Andrea; Omodeo, Eugenio G.; Temperini, Marco 6 2000 Solvable set/hyperset contexts: I. Some decision procedures for the pure, finite case. Zbl 0849.03009 Omodeo, Eugenio G.; Policriti, Alberto 5 1995 A ‘theory’ mechanism for a proof-verifier based on first-order set theory. Zbl 1012.68181 Omodeo, Eugenio G.; Schwartz, Jacob T. 5 2002 Set graphs. III: Proof pearl: Claw-free graphs mirrored into transitive hereditarily finite sets. Zbl 1315.68223 Omodeo, Eugenio G.; Tomescu, Alexandru I. 5 2014 On sets and graphs. Perspectives on logic and combinatorics. Zbl 1382.05002 Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I. 5 2017 Decision algorithms for some fragments of analysis and related areas. Zbl 0656.03006 Cantone, D.; Ferro, A.; Omodeo, E.; Schwartz, J. T. 4 1987 The Bernays-Schönfinkel-Ramsey class for set theory: decidability. Zbl 1251.03025 Omodeo, Eugenio; Policriti, Alberto 4 2012 The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability. Zbl 1201.03007 Omodeo, Eugenio; Policriti, Alberto 4 2010 Notes from the logbook of a proof-checker’s project. Zbl 1274.68407 Cantone, Domenico; Omodeo, Eugenio G.; Schwartz, Jacob T.; Ursino, Pietro 4 2003 Instructing equational set-reasoning with Otter. Zbl 0988.68164 Formisano, Andrea; Omodeo, Eugenio G.; Temperini, Marco 4 2001 Three-variable statements of set-pairing. Zbl 1058.03028 Formisano, Andrea; Omodeo, Eugenio G.; Policriti, Alberto 4 2004 The automation of syllogistic. I: Syllogistic normal forms. Zbl 0658.03010 Cantone, Domenico; Ghelfo, Susanna; Omodeo, Eugenio 3 1988 An efficient validity test for formulae in extensional two-level syllogistic. Zbl 0448.68021 Ferro, Alfredo; Omodeo, Eugenio G. 3 1978 Martin Davis on computability, computational logic, and mathematical foundations. Zbl 1365.03013 3 2016 Layered map reasoning: an experimental approach put to trial on sets. Zbl 1263.03008 Formisano, Andrea; Omodeo, Eugenio G.; Temperini, Marco 3 2001 Decision procedures for elementary sublanguages of set theory. VIII. A semidecision procedure for finite satisfiability of unquantified set- theoretic formulae. Zbl 0645.03007 Cantone, D.; Ferro, A.; Omodeo, E. G. 2 1988 Decision procedures for elementary sublanguages of set theory. VII: Validity in set theory when a choice operator is present. Zbl 0656.03007 Ferro, A.; Omodeo, E. G. 2 1987 Solvable set/hyperset contexts. II: A goal-driven unification algorithm for the blended case. Zbl 0936.68025 Dovier, Agostino; Omodeo, Eugenio G.; Policriti, Alberto 2 1999 The axiom of elementary sets on the edge of Peircean expressibility. Zbl 1100.03042 Formisano, Andrea; Omodeo, Eugenio G.; Policriti, Alberto 2 2005 Towards practical implementation of syllogistic. Zbl 0608.03005 Ghelfo, S.; Omodeo, E. G. 2 1985 A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets. Zbl 0796.03009 Omodeo, Eugenio G.; Parlamento, Franco; Policriti, Alberto 2 1993 Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators. Zbl 1009.03010 Cantone, Domenico; Ursino, Pietro; Omodeo, Eugenio G. 2 2002 Complexity assessments for decidable fragments of set theory. II: A taxonomy for ‘small’ languages involving membership. Zbl 1498.03113 Cantone, Domenico; Maugeri, Pietro; Omodeo, Eugenio G. 2 2020 The linked conjunct method for automatic deduction and related search techniques. Zbl 0506.68075 Omodeo, Eugenio G. 1 1982 Bisimilarity, hypersets, and stable partitioning: a survey. Zbl 1245.03072 Omodeo, Eugenio G. 1 2010 Statements of ill-founded infinity in set theory. Zbl 1244.03136 Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I. 1 2010 Using ÆtnaNova to formally prove that the Davis-Putnam satisfiability test is correct. Zbl 1180.03015 Omodeo, Eugenio G.; Tomescu, Alexandru I. 1 2008 ER modelling from first relational principles. Zbl 1070.68027 Doberkat, Ernst-Erich; Omodeo, Eugenio G. 1 2004 The elimination of descriptions from A. Bressan’s modal language \(ML^\nu\) on which the logical calculus \(MC^\nu\) is based. Zbl 0383.03013 Omodeo, Eugenio Giovanni 1 1978 Mapping sets and hypersets into numbers. Zbl 1371.03060 D’Agostino, Giovanna; Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I. 1 2015 Decidability results for sets with atoms. Zbl 1407.03008 Dovier, Agostino; Formisano, Andrea; Omodeo, Eugenio G. 1 2006 Algebraic semantics of ER-models in the context of the calculus of relations. II: Dynamic view. Zbl 1027.03028 Doberkat, Ernst-Erich; Omodeo, Eugenio G. 1 2002 Set graphs. V. on representing graphs as membership digraphs. Zbl 1331.68203 Omodeo, Eugenio G.; Tomescu, Alexandru I. 1 2015 Theory-specific automated reasoning. Zbl 1285.68146 Formisano, Andrea; Omodeo, Eugenio G. 1 2010 Complexity assessments for decidable fragments of set theory. I: A taxonomy for the Boolean case. Zbl 1498.03112 Cantone, Domenico; De Domenico, Andrea; Maugeri, Pietro; Omodeo, Eugenio G. 1 2021 Infinity, in short. Zbl 1284.03231 Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I. 1 2012 Solvable (and unsolvable) cases of the decision problem for fragments of analysis. Zbl 1309.03007 Cantone, Domenico; Omodeo, Eugenio G.; Spartà, Gaetano T. 1 2012 Complexity assessments for decidable fragments of set theory. I: A taxonomy for the Boolean case. Zbl 1498.03112 Cantone, Domenico; De Domenico, Andrea; Maugeri, Pietro; Omodeo, Eugenio G. 1 2021 Complexity assessments for decidable fragments of set theory. II: A taxonomy for ‘small’ languages involving membership. Zbl 1498.03113 Cantone, Domenico; Maugeri, Pietro; Omodeo, Eugenio G. 2 2020 On sets and graphs. Perspectives on logic and combinatorics. Zbl 1382.05002 Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I. 5 2017 Martin Davis on computability, computational logic, and mathematical foundations. Zbl 1365.03013 3 2016 Mapping sets and hypersets into numbers. Zbl 1371.03060 D’Agostino, Giovanna; Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I. 1 2015 Set graphs. V. on representing graphs as membership digraphs. Zbl 1331.68203 Omodeo, Eugenio G.; Tomescu, Alexandru I. 1 2015 Set graphs. III: Proof pearl: Claw-free graphs mirrored into transitive hereditarily finite sets. Zbl 1315.68223 Omodeo, Eugenio G.; Tomescu, Alexandru I. 5 2014 The Bernays-Schönfinkel-Ramsey class for set theory: decidability. Zbl 1251.03025 Omodeo, Eugenio; Policriti, Alberto 4 2012 Infinity, in short. Zbl 1284.03231 Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I. 1 2012 Solvable (and unsolvable) cases of the decision problem for fragments of analysis. Zbl 1309.03007 Cantone, Domenico; Omodeo, Eugenio G.; Spartà, Gaetano T. 1 2012 Computational logic and set theory. Applying formalized logic to analysis. Foreword by Martin Davis. Zbl 1246.03006 Schwartz, Jacob T.; Cantone, Domenico; Omodeo, Eugenio G. 16 2011 The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability. Zbl 1201.03007 Omodeo, Eugenio; Policriti, Alberto 4 2010 Bisimilarity, hypersets, and stable partitioning: a survey. Zbl 1245.03072 Omodeo, Eugenio G. 1 2010 Statements of ill-founded infinity in set theory. Zbl 1244.03136 Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I. 1 2010 Theory-specific automated reasoning. Zbl 1285.68146 Formisano, Andrea; Omodeo, Eugenio G. 1 2010 Using ÆtnaNova to formally prove that the Davis-Putnam satisfiability test is correct. Zbl 1180.03015 Omodeo, Eugenio G.; Tomescu, Alexandru I. 1 2008 Decidability results for sets with atoms. Zbl 1407.03008 Dovier, Agostino; Formisano, Andrea; Omodeo, Eugenio G. 1 2006 The axiom of elementary sets on the edge of Peircean expressibility. Zbl 1100.03042 Formisano, Andrea; Omodeo, Eugenio G.; Policriti, Alberto 2 2005 Three-variable statements of set-pairing. Zbl 1058.03028 Formisano, Andrea; Omodeo, Eugenio G.; Policriti, Alberto 4 2004 ER modelling from first relational principles. Zbl 1070.68027 Doberkat, Ernst-Erich; Omodeo, Eugenio G. 1 2004 Compiling dyadic first-order specifications into map algebra. Zbl 1025.68053 Cantone, D.; Formisano, A.; Omodeo, E. G.; Zarba, C. G. 7 2003 Notes from the logbook of a proof-checker’s project. Zbl 1274.68407 Cantone, Domenico; Omodeo, Eugenio G.; Schwartz, Jacob T.; Ursino, Pietro 4 2003 A ‘theory’ mechanism for a proof-verifier based on first-order set theory. Zbl 1012.68181 Omodeo, Eugenio G.; Schwartz, Jacob T. 5 2002 Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators. Zbl 1009.03010 Cantone, Domenico; Ursino, Pietro; Omodeo, Eugenio G. 2 2002 Algebraic semantics of ER-models in the context of the calculus of relations. II: Dynamic view. Zbl 1027.03028 Doberkat, Ernst-Erich; Omodeo, Eugenio G. 1 2002 Set theory for computing. From decision procedures to declarative programming with sets. Foreword by Jacob T. Schwartz. Zbl 0981.03056 Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto 30 2001 Instructing equational set-reasoning with Otter. Zbl 0988.68164 Formisano, Andrea; Omodeo, Eugenio G.; Temperini, Marco 4 2001 Layered map reasoning: an experimental approach put to trial on sets. Zbl 1263.03008 Formisano, Andrea; Omodeo, Eugenio G.; Temperini, Marco 3 2001 An equational re-engineering of set theories. Zbl 0955.03016 Formisano, Andrea; Omodeo, Eugenio 6 2000 Goals and benchmarks for automated map reasoning. Zbl 0965.03014 Formisano, Andrea; Omodeo, Eugenio G.; Temperini, Marco 6 2000 Solvable set/hyperset contexts. II: A goal-driven unification algorithm for the blended case. Zbl 0936.68025 Dovier, Agostino; Omodeo, Eugenio G.; Policriti, Alberto 2 1999 \(\{\log\}\): A language for programming in logic with finite sets. Zbl 0874.68056 Dovier, Agostino; Omodeo, Eugenio G.; Pontelli, Enrico; Rossi, Gianfranco 22 1996 Decidability of \(\exists^* \forall\)-sentences in membership theories. Zbl 0836.03011 Omodeo, Eugenio G.; Parlamento, Franco; Policriti, Alberto 7 1996 Solvable set/hyperset contexts: I. Some decision procedures for the pure, finite case. Zbl 0849.03009 Omodeo, Eugenio G.; Policriti, Alberto 5 1995 A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets. Zbl 0796.03009 Omodeo, Eugenio G.; Parlamento, Franco; Policriti, Alberto 2 1993 The automation of syllogistic. II: Optimization and complexity issues. Zbl 0744.03015 Cantone, D.; Omodeo, E. G.; Policriti, A. 7 1990 Computable set theory. Vol. 1. Zbl 0755.03024 Cantone, Domenico; Ferro, Alfredo; Omodeo, Eugenio 24 1989 The automation of syllogistic. I: Syllogistic normal forms. Zbl 0658.03010 Cantone, Domenico; Ghelfo, Susanna; Omodeo, Eugenio 3 1988 Decision procedures for elementary sublanguages of set theory. VIII. A semidecision procedure for finite satisfiability of unquantified set- theoretic formulae. Zbl 0645.03007 Cantone, D.; Ferro, A.; Omodeo, E. G. 2 1988 Decision algorithms for some fragments of analysis and related areas. Zbl 0656.03006 Cantone, D.; Ferro, A.; Omodeo, E.; Schwartz, J. T. 4 1987 Decision procedures for elementary sublanguages of set theory. VII: Validity in set theory when a choice operator is present. Zbl 0656.03007 Ferro, A.; Omodeo, E. G. 2 1987 Towards practical implementation of syllogistic. Zbl 0608.03005 Ghelfo, S.; Omodeo, E. G. 2 1985 The linked conjunct method for automatic deduction and related search techniques. Zbl 0506.68075 Omodeo, Eugenio G. 1 1982 Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions. Zbl 0465.03003 Breban, M.; Ferro, A.; Omodeo, E. G.; Schwartz, J. T. 11 1981 Decision procedures for elementary sublanguages of set theory. I: Multi- level syllogistic and some extensions. Zbl 0453.03009 Ferro, Alfredo; Omodeo, Eugenio G.; Schwartz, Jacob T. 20 1980 Decision procedures for some fragments of set theory. Zbl 0457.03009 Ferro, A.; Omodeo, E. G.; Schwartz, J. T. 7 1980 An efficient validity test for formulae in extensional two-level syllogistic. Zbl 0448.68021 Ferro, Alfredo; Omodeo, Eugenio G. 3 1978 The elimination of descriptions from A. Bressan’s modal language \(ML^\nu\) on which the logical calculus \(MC^\nu\) is based. Zbl 0383.03013 Omodeo, Eugenio Giovanni 1 1978 all cited Publications top 5 cited Publications all top 5 Cited by 95 Authors 25 Cantone, Domenico 24 Omodeo, Eugenio Giovanni 15 Policriti, Alberto 9 Formisano, Andrea 6 Nicolosi Asmundo, Marianna 6 Parlamento, Franco 6 Rossi, Gianfranco 6 Tomescu, Alexandru Ioan 5 Avron, Arnon 5 Cristiá, Maximiliano 5 Zarba, Calogero G. 4 Dovier, Agostino 3 Bellè, Dorella 3 Doberkat, Ernst-Erich 3 Maugeri, Pietro 3 Pontelli, Enrico 3 Santamaria, Daniele Francesco 3 Schwartz, Jacob Theodore 2 Bansal, Kshitij 2 Barrett, Clark W. 2 Cincotti, Gianluca 2 de Freitas, Renata P. 2 Ferro, Alfredo 2 Longo, Cristiano 2 Milanič, Martin 2 Reynolds, Andrew 2 Rizzi, Romeo 2 Temperini, Marco 2 Tinelli, Cesare 2 Ursino, Pietro 2 Veloso, Paulo Augusto S. 2 Veloso, Sheila R. M. 2 Viana, Petrucio 1 Andréka, Hajnal 1 Ângelo, Pedro 1 Barklund, Jonas 1 Bezhanishvili, Nick 1 Bhaskara Rao, K. P. S. 1 Breban, Michael 1 Buriola, Gabriele 1 Cenzer, Douglas 1 Cohen, Liron 1 D’Agostino, Giovanna 1 Davis, Martin David 1 De Domenico, Andrea 1 De Luca, Guido 1 Ding, Yifeng 1 Fabiano, Francesco 1 Feferman, Solomon 1 Florido, Mário 1 Frydman, Claudia 1 Gallo, Giovanni 1 Gervet, Carmen 1 Ghelfo, Susanna 1 Giarlotta, Alfio 1 Giordano, Laura 1 Harrison-Trainor, Matthew 1 Hespel, Christiane 1 Hibti, M. 1 Holliday, Wesley H. 1 Ivanov, Nikolay A. 1 Jacob, Gérard 1 Kuncak, Viktor 1 Legeard, Bruno 1 Lev, Shahar 1 Levi, Nissan 1 Lim, Seung-Jin 1 Lombardi, Henri 1 Luna, Carlos 1 Marek, V. Wiktor 1 Mikulás, Szabolcs 1 Montanari, Angelo 1 Németi, István 1 Ng, Yiu-Kai 1 Nguyen, Huu Hai 1 Piazza, Carla 1 Remmel, Jeffrey Brian 1 Rinard, Martin C. 1 Ruggeri Cannata, Rosa 1 Sain, Ildikó 1 Sieg, Wilfried 1 Siekmann, Jörg H. 1 Simeoni, Marta 1 Simon, András 1 Spartà, Gaetano T. 1 Szabó, Peter 1 Tardivo, Fabio 1 Tetruashvili, Michail R. 1 Vakarelov, Dimiter 1 van Benthem, Johan F. A. K. 1 Voigt, Marco 1 Walsh, Patrick M. 1 Watson, William Stephen 1 Zambella, Domenico 1 Zanardo, Alberto all top 5 Cited in 30 Serials 11 Journal of Automated Reasoning 10 Theoretical Computer Science 6 The Journal of Symbolic Logic 5 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 4 Journal of Symbolic Computation 3 Information and Computation 3 Fundamenta Informaticae 2 Discrete Mathematics 2 Notre Dame Journal of Formal Logic 2 Proceedings of the American Mathematical Society 2 New Generation Computing 2 MSCS. Mathematical Structures in Computer Science 2 Logical Methods in Computer Science 1 Communications on Pure and Applied Mathematics 1 Discrete Applied Mathematics 1 Information Processing Letters 1 Journal of Computer and System Sciences 1 Rendiconti del Seminario Matematico della Università di Padova 1 Synthese 1 Advances in Applied Mathematics 1 RAIRO. Informatique Théorique et Applications 1 Journal of Logic, Language and Information 1 Journal of Applied Non-Classical Logics 1 Georgian Mathematical Journal 1 Annals of Mathematics and Artificial Intelligence 1 Constraints 1 The Journal of Logic and Algebraic Programming 1 Theory and Practice of Logic Programming 1 The Review of Symbolic Logic 1 RAIRO. Theoretical Informatics and Applications all top 5 Cited in 9 Fields 66 Mathematical logic and foundations (03-XX) 57 Computer science (68-XX) 5 Combinatorics (05-XX) 2 History and biography (01-XX) 2 General algebraic systems (08-XX) 2 Number theory (11-XX) 1 Statistics (62-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Systems theory; control (93-XX) Citations by Year