Studies in Logic and the Foundations of Mathematics Short Title: Stud. Logic Found. Math. Publisher: Elsevier, Amsterdam Online: http://www.sciencedirect.com/science/bookseries/0049237X Comments: Book series; No longer indexed; numbered from Vol. 61 (1969) Documents Indexed: 148 Publications (1951–2009) all top 5 Latest Volumes 153 (2009) 152 (2008) 151 (2007) 150 (2006) 149 (2006) 148 (2003) 147 (2002) 146 (2001) 145 (2000) 144 (2000) 143 (1999) 142 (1999) 141 (1999) 140 (1999) 139 (1998) 138 (1998) 137 (1998) 136 (1997) 135 (1996) 134 (1994) 133 (1994) 132 (1994) 131 (1992) 130 (1991) 129 (1989) 128 (1989) 127 (1989) 126 (1989) 125 (1989/1992) 124 (1988) 123 (1988) 122 (1987) 121 (1988) 120 (1986) 119 (1986) 118 (1986) 117 (1985) 116 (1985) 115 (1985) 114 (1986) 113 (1985) 112 (1984) 111 (1983) 110 (1982) 109 (1982) 108 (1982) 107 (1982) 106 (1984) 105 (1981) 104 (1982) 103 (1981/1984) 102 (1980/1983) 101 (1980) 100 (1980) 99 (1980) 98 (1979/1984) 97 (1979) 96 (1978) 95 (1980) 94 (1978) 93 (1979) 92 (1978/1990) 91 (1977) 90 (1978/1982) 89 (1977) 88 (1978) 87 (1977) 86 (1976) 85 (1976/1986) 84 (1976) 83 (1975) 82 (1975) 81 (1975/1987) 80 (1975) 79 (1974) 78 (1974) 77 (1974) 76 (1974) 75 (1973) 74 (1973) 73 (1973/1990) 72 (1974) 71 (1973) 70 (1972) 69 (1972) 68 (1973) 67 (1973/1984) 66 (1971) 65 (1972) 64 (1985) 62 (1971) 61 (1969) (1951-1986) all top 5 Authors / Editors 7 Fraenkel, Abraham 7 Keisler, Howard Jerome 7 van Dalen, Dirk 6 Henkin, Leon Albert 6 Robinson, Abraham 6 Tarski, Alfred 5 Bar-Hillel, Yehoshua 5 Kunen, Kenneth 5 Mostowski, Andrzej Stanisław 5 Simpson, Stephen G. 5 Troelstra, Anne Sjerp 4 Barendregt, Hendrik Pieter 4 Barwise, Kenneth Jon 4 Curry, Haskell Brooks 4 Feferman, Solomon 4 Marek, V. Wiktor 4 Moschovakis, Yiannis Nicholas 4 Paris, Jeffrey Bruce 3 Fenstad, Jens Erik 3 Gandy, Robin O. 3 Harrington, Leo A. 3 Heyting, Arend 3 Jech, Thomas J. 3 Kechris, Alexander S. 3 Levy, Azriel 3 Macintyre, Angus John 3 Morley, Michael Darwin 3 Odifreddi, Piergiorgio 3 Shore, Richard Arnold 3 Stroyan, Keith D. 3 Takeuti, Gaisi 2 Addison, J. W. 2 Arruda, Ayda Ignez 2 Bernays, Paul 2 Boone, William W. 2 Burgess, John P. 2 Chang, Chen-Chung 2 Chuaqui Kettlun, Rolando Basim 2 Da Costa, Newton Carneiro Affonso 2 Davis, Martin David 2 Devlin, Keith J. 2 Drake, Frank Robert 2 Eklof, Paul C. 2 Enderton, Herbert B. 2 Ershov, Yuriĭ Leonidovich 2 Fourman, Michael Paul 2 Fraïssé, Roland 2 Gabbay, Dov M. 2 Goldblatt, Robert Ian 2 Goncharov, Sergeĭ Savost’yanovich 2 Goodstein, Reuben Louis 2 Hailperin, Theodore 2 Hyland, J. Martin E. 2 Juhász, István 2 Kock, Anders 2 Lakatos, Imre 2 Lascar, Daniel 2 Makkai, Michael 2 Martin, Donald A. 2 Monk, James Donald 2 Nerode, Anil 2 Pacholski, Leszek M. 2 Rabin, Michael O. 2 Remmel, Jeffrey B. 2 Reyes, Gonzalo E. 2 Rudin, Mary Ellen 2 Schwichtenberg, Helmut 2 Shelah, Saharon 2 Shönfield, Joseph R. 2 Smoryński, Craig 2 Statman, Richard 2 Suppes, Patrick 1 Ackermann, Wilhelm 1 Adyan, Sergeĭ Ivanovich 1 Andrews, Peter B. 1 Arnold, André 1 Ash, Christopher John 1 Basri, Saul A. 1 Bayod, Jose Manuel 1 Bergstra, Jan A. 1 Beth, Evert Willem 1 Bocheński, Józef Maria 1 Boffa, Maurice 1 Bonotto, Cinzia 1 Börger, Egon 1 Braffort, Paul 1 Buss, Samuel R. 1 Cannonito, Frank B. 1 Cantini, Andrea 1 Cohen, L. Jonathan 1 de Vrijer, R. C. 1 Dickmann, Max A. 1 Dorn, Georg J. W. 1 Dürr, Karl 1 Ebbinghaus, Heinz-Dieter 1 Erdős, Pál 1 Fernandez-Prida, Jose 1 Ferro, Ruggero 1 Feys, Robert 1 Fitting, Melvin Chris ...and 115 more Authors all top 5 Fields 122 Mathematical logic and foundations (03-XX) 50 General and overarching topics; collections (00-XX) 8 Computer science (68-XX) 6 History and biography (01-XX) 6 General algebraic systems (08-XX) 6 General topology (54-XX) 5 Category theory; homological algebra (18-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 4 Probability theory and stochastic processes (60-XX) 3 Combinatorics (05-XX) 3 Real functions (26-XX) 2 Group theory and generalizations (20-XX) 2 Measure and integration (28-XX) 2 Functional analysis (46-XX) 1 Field theory and polynomials (12-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Functions of a complex variable (30-XX) 1 Operator theory (47-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 129 Publications have been cited 8,041 times in 7,017 Documents Cited by ▼ Year ▼ Set theory. An introduction to independence proofs. Zbl 0443.03021Kunen, Kenneth 638 1980 The lambda calculus. Its syntax and semantics. Rev. ed. Zbl 0551.03007Barendregt, H. P. 449 1984 Residuated lattices. An algebraic glimpse at substructural logics. Zbl 1171.03001Galatos, Nikolaos; Jipsen, Peter; Kowalski, Tomasz; Ono, Hiroakira 403 2007 Model theory. Zbl 0276.02032Chang, C. C.; Keisler, H. J. 352 1973 Descriptive set theory. Zbl 0433.03025Moschovakis, Yiannis N. 349 1980 Model theory. 3rd rev. ed. Zbl 0697.03022Chang, C. C.; Keisler, H. J. 307 1990 An algebraic approach to non-classical logics. Zbl 0299.02069Rasiowa, Helena 291 1974 Computable structures and the hyperarithmetical hierarchy. Zbl 0960.03001Ash, C. J.; Knight, J. F. 233 2000 Constructivism in mathematics. An introduction. Volume I. Zbl 0653.03040Troelstra, A. S.; van Dalen, D. 232 1988 Non-standard analysis. Zbl 0151.00803Robinson, Abraham 219 1966 Classical recursion theory. Vol. II. Zbl 0931.03057Odifreddi, P. G. 204 1999 The axiom of choice. Zbl 0259.02051Jech, Thomas J. 198 1973 Constructivism in mathematics. An introduction. Volume II. Zbl 0661.03047Troelstra, A. S.; van Dalen, D. 182 1988 The lambda calculus, its syntax and semantics. Zbl 0467.03010Barendregt, H. P. 172 1981 Classical recursion theory. The theory of functions and sets of natural numbers. Zbl 0661.03029Odifreddi, Piergiorgio 148 1989 Cylindric algebras. Part II. Zbl 0576.03043Henkin, Leon; Monk, J. Donald; Tarski, Alfred 145 1985 Classification theory and the number of non-isomorphic models. Zbl 0388.03009Shelah, S. 144 1978 Categorical logic and type theory. Zbl 0911.03001Jacobs, Bart 142 1999 Many-dimensional modal logics: theory and applications. Zbl 1051.03001Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. 138 2003 Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers. Zbl 0222.02064Keisler, H. Jerome 136 1971 Elementary induction on abstract structures. Zbl 0307.02003Moschovakis, Yiannis N. 129 1974 Classification theory and the number of non-isomorphic models. 2nd rev. ed. Zbl 0713.03013Shelah, Saharon 115 1990 Undecidable theories. Zbl 0053.00401Tarski, Alfred; Mostowski, Andrzej; Robinson, Raphael M. 107 1953 Combinatory logic. With two sections by William Craig. Zbl 0081.24104Curry, Haskell B.; Feys, Robert 100 1958 Set theory. With an introduction to descriptive set theory. Translation of the original Polish edition. 2nd, completely revised ed. Zbl 0337.02034Kuratowski, K.; Mostowski, A. 98 1976 Introduction to model theory and to the metamathematics of algebra. Zbl 0118.25302Robinson, A. 96 1963 Intuitionism. An introduction. Zbl 0070.00801Heyting, A. 93 1956 Set theory. An introduction to independence proofs. 2nd print. Zbl 0534.03026Kunen, Kenneth 87 1983 Combinatorial set theory: Partition relations for cardinals. Zbl 0573.03019Erdős, Paul; Hajnal, András; Máté, Attila; Rado, Richard 81 1984 Relation algebras by games. Zbl 1018.03002Hirsch, Robin; Hodkinson, Ian 81 2002 Proof theory. Zbl 0354.02027Takeuti, Gaisi 80 1975 Admissibility of logical inference rules. Zbl 0872.03002Rybakov, V. V. 79 1997 Set theory. An introduction to large cardinals. Zbl 0294.02034Drake, Frank R. 78 1974 Topoi. The categorial analysis of logic. Zbl 0434.03050Goldblatt, Robert 76 1979 Lectures on the Curry-Howard isomorphism. Zbl 1183.03004Sørensen, Morten Heine; Urzyczyn, Paweł 76 2006 Combinatory logic. Vol. II. Zbl 0242.02029Curry, Haskell B.; Hindley, J. Roger; Seldin, Jonathan P. 73 1972 Theory of relations. Transl. from the French by P. Clote. Zbl 0593.04001Fraïssé, R. 71 1986 Tools and techniques in modal logic. Zbl 0927.03002Kracht, M. 68 1999 Solvable cases of the decision problem. Zbl 0056.24505Ackermann, W. 66 1954 Relation algebras. Zbl 1197.03051Maddux, Roger D. 65 2006 Proof theory. 2nd ed. Zbl 0609.03019Takeuti, Gaisi 61 1987 Language in action. Categories, lambdas and dynamic logic. Zbl 0717.03001van Benthem, Johan 60 1991 Realizability. An introduction to its categorical side. Zbl 1225.03002van Oosten, Jaap 54 2008 Complete theories. Zbl 0070.02701Robinson, Abraham 51 1956 Rudiments of \(\mu\)-calculus. Zbl 0968.03002Arnold, A.; Niwiński, D. 45 2001 Handbook of proof theory. Zbl 0898.03001 45 1998 Foundations of infinitesimal stochastic analysis. Zbl 0624.60052Stroyan, K. D.; Bayod, José Manuel 45 1986 Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed. Zbl 0248.02071Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Levy, Azriel 43 1973 An essay in modal logic. Zbl 0043.00701von Wright, Georg H. 42 1951 The foundations of mathematics. A study in the philosophy of science. Zbl 0085.24104Beth, Evert W. 42 1959 Topoi. The categorial analysis of logic. Rev. ed. Zbl 0528.03039Goldblatt, Robert 39 1984 Combinatorial set theory. Zbl 0362.04008Williams, Neil H. 37 1977 Large infinitary languages. Model theory. Zbl 0324.02010Dickmann, M. A. 36 1975 Equivalents of the axiom of choice. 2nd ed. Zbl 0582.03033Rubin, Herman; Rubin, Jean E. 29 1985 Boole’s logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged. Zbl 0611.03001Hailperin, Theodore 29 1986 Foundations of set theory. Zbl 0082.26203Fraenkel, Abraham A.; Bar-Hillel, Yehoshua 27 1958 Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer. Revised ed. Zbl 0965.03059Fraïssé, Roland 26 2000 Classical recursion theory. The theory of functions and sets of natural numbers. Paperback ed. Zbl 0744.03044Odifreddi, Piergiorgio 25 1992 On the metamathematics of algebra. Zbl 0043.24702Robinson, Abraham 23 1951 Logical frameworks for truth and abstraction. An axiomatic study. Zbl 0860.03015Cantini, Andrea 21 1996 Boole’s logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. Zbl 0352.02002Hailperin, Theodore 20 1976 Abstract set theory. Zbl 0050.04903Fraenkel, Abraham A. 20 1953 Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus. Zbl 0077.01401Goodstein, R. L. 20 1957 The logical systems of Lesniewski. Zbl 0111.00602Luschei, E. C. 20 1962 Recursive analysis. Zbl 0217.30202Goodstein, R. L. 19 1961 Intuitionism. An introduction. 3rd revised ed. Zbl 0219.02013Heyting, A. 19 1971 Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing. Zbl 0576.03042Henkin, Leon; Monk, J. Donald; Tarski, Alfred 18 1985 Proof theory. Zbl 0355.02023Takeuti, Gaisi 18 1975 Axiomatic set theory. With a historical introduction by Abraham A. Fraenkel. Zbl 0082.26301Bernays, Paul 15 1958 Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel. Zbl 0047.00903Mostowski, Andrzej 14 1952 The axiomatic method. With special reference to geometry and physics. Zbl 0088.24414 14 1959 Algebra of proofs. Zbl 0532.03030Szabo, M. E. 13 1978 Quantification in nonclassical logic. Volume I. Zbl 1211.03002Gabbay, Dov M.; Skvortsov, Dimitrij; Shehtman, Valentin 13 2009 Handbook of computability theory. Zbl 0923.03001 13 1999 Intensional mathematics. Zbl 0547.00010 12 1985 Harvey Friedman’s research on the foundations of mathematics. Zbl 0588.03001 11 1985 Selected papers on AUTOMATH, dedicated to N. G. de Bruijn. Zbl 0822.03009 10 1994 The theory of semisets. Zbl 0332.02064Vopenka, Petr; Hajek, Petr 9 1972 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001 9 1978 Hausdorff gaps and limits. Zbl 0821.54001Frankiewicz, Ryszard; Zbierski, Pawel 9 1994 Handbook of recursive mathematics. Vol. 1: Recursive model theory. Zbl 0905.03001 9 1998 Aristotle’s modal syllogisms. Zbl 0105.24703McCall, Storrs 8 1963 Foundations of set theory. With the collab. of Dirk van Dalen. 2nd rev. ed. Reprint. Zbl 0623.03047Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Levy, Azriel 8 1984 Foundational studies. Selected works. Vol. I, II. Zbl 0425.01021Mostowski, Andrzej 7 1979 Outlines of a formalist philosophy of mathematics. Zbl 0043.00601Curry, Haskell B. 7 1951 A transfinite type theory with type variables. Zbl 0132.24504Andrews, P. B. 7 1965 Logic in algebraic form. Three languages and theories. Zbl 0312.02049Craig, William 7 1974 Fundamentals of generalized recursion theory. Zbl 0597.03028Fitting, Melvin 6 1981 Truth and consequence in mediaeval logic. Zbl 0050.24404Moody, Ernest A. 6 1953 Computability, complexity, logic. Transl. from the German. Zbl 0669.68002Börger, E. 5 1989 Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics. Zbl 0905.03002 5 1998 Constructible sets with applications. Zbl 0185.01401Mostowski, A. 5 1969 Word problems. Decision problems and the Burnside problem in group theory. Zbl 0254.00004 5 1973 Computer programming and formal systems. Zbl 0108.13402 5 1963 The theory of models. Proceedings of the 1963 international symposium at Berkeley. Zbl 0148.00103 5 1965 Logic colloquium ’78. Proceedings of the colloquium held in Mons, August 1978. Zbl 0423.00001 4 1979 Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968. Zbl 0195.01201 4 1970 A deductive theory of space and time. Zbl 0161.00208Basri, S. A. 4 1966 Abstract set theory. Second, completely revised edition. Zbl 0098.03902Fraenkel, Abraham A. 4 1961 Introduction to the theory of finite automata. Translated from the Russian. Translation edited by J.C. Shepherdson. Zbl 0128.01401Kobrinskij, N. E.; Trakhtenbrot, B. A. 4 1965 Quantification in nonclassical logic. Volume I. Zbl 1211.03002Gabbay, Dov M.; Skvortsov, Dimitrij; Shehtman, Valentin 13 2009 Realizability. An introduction to its categorical side. Zbl 1225.03002van Oosten, Jaap 54 2008 Residuated lattices. An algebraic glimpse at substructural logics. Zbl 1171.03001Galatos, Nikolaos; Jipsen, Peter; Kowalski, Tomasz; Ono, Hiroakira 403 2007 Lectures on the Curry-Howard isomorphism. Zbl 1183.03004Sørensen, Morten Heine; Urzyczyn, Paweł 76 2006 Relation algebras. Zbl 1197.03051Maddux, Roger D. 65 2006 Many-dimensional modal logics: theory and applications. Zbl 1051.03001Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. 138 2003 Relation algebras by games. Zbl 1018.03002Hirsch, Robin; Hodkinson, Ian 81 2002 Rudiments of \(\mu\)-calculus. Zbl 0968.03002Arnold, A.; Niwiński, D. 45 2001 Computable structures and the hyperarithmetical hierarchy. Zbl 0960.03001Ash, C. J.; Knight, J. F. 233 2000 Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer. Revised ed. Zbl 0965.03059Fraïssé, Roland 26 2000 Classical recursion theory. Vol. II. Zbl 0931.03057Odifreddi, P. G. 204 1999 Categorical logic and type theory. Zbl 0911.03001Jacobs, Bart 142 1999 Tools and techniques in modal logic. Zbl 0927.03002Kracht, M. 68 1999 Handbook of computability theory. Zbl 0923.03001 13 1999 Handbook of proof theory. Zbl 0898.03001 45 1998 Handbook of recursive mathematics. Vol. 1: Recursive model theory. Zbl 0905.03001 9 1998 Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics. Zbl 0905.03002 5 1998 Admissibility of logical inference rules. Zbl 0872.03002Rybakov, V. V. 79 1997 Logical frameworks for truth and abstraction. An axiomatic study. Zbl 0860.03015Cantini, Andrea 21 1996 Selected papers on AUTOMATH, dedicated to N. G. de Bruijn. Zbl 0822.03009 10 1994 Hausdorff gaps and limits. Zbl 0821.54001Frankiewicz, Ryszard; Zbierski, Pawel 9 1994 Classical recursion theory. The theory of functions and sets of natural numbers. Paperback ed. Zbl 0744.03044Odifreddi, Piergiorgio 25 1992 Language in action. Categories, lambdas and dynamic logic. Zbl 0717.03001van Benthem, Johan 60 1991 Model theory. 3rd rev. ed. Zbl 0697.03022Chang, C. C.; Keisler, H. J. 307 1990 Classification theory and the number of non-isomorphic models. 2nd rev. ed. Zbl 0713.03013Shelah, Saharon 115 1990 Classical recursion theory. The theory of functions and sets of natural numbers. Zbl 0661.03029Odifreddi, Piergiorgio 148 1989 Computability, complexity, logic. Transl. from the German. Zbl 0669.68002Börger, E. 5 1989 Logic, methodology and philosophy of science VIII. Proceedings of the eighth international congress of logic, methodology and philosophy of science, Moscow, August 17-22, 1987. Zbl 0676.00003 2 1989 Logic colloquium ’88. Proceedings of the colloquium held in Padova, Italy, August 22-31, 1988. Zbl 0673.00007 1 1989 Constructivism in mathematics. An introduction. Volume I. Zbl 0653.03040Troelstra, A. S.; van Dalen, D. 232 1988 Constructivism in mathematics. An introduction. Volume II. Zbl 0661.03047Troelstra, A. S.; van Dalen, D. 182 1988 Proof theory. 2nd ed. Zbl 0609.03019Takeuti, Gaisi 61 1987 The Paris Logic Group (ed.): Logic colloquium ’85. Proceedings of the Colloquium held in Orsay, France, July 1985. Zbl 0611.00002 1 1987 Theory of relations. Transl. from the French by P. Clote. Zbl 0593.04001Fraïssé, R. 71 1986 Foundations of infinitesimal stochastic analysis. Zbl 0624.60052Stroyan, K. D.; Bayod, José Manuel 45 1986 Boole’s logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged. Zbl 0611.03001Hailperin, Theodore 29 1986 Introduction to model theory and to the metamathematics of algebra. 2nd ed. (2nd print.). (With a preface by H. Jerome Keisler). Zbl 0665.03017Robinson, Abraham 1 1986 Cylindric algebras. Part II. Zbl 0576.03043Henkin, Leon; Monk, J. Donald; Tarski, Alfred 145 1985 Equivalents of the axiom of choice. 2nd ed. Zbl 0582.03033Rubin, Herman; Rubin, Jean E. 29 1985 Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing. Zbl 0576.03042Henkin, Leon; Monk, J. Donald; Tarski, Alfred 18 1985 Intensional mathematics. Zbl 0547.00010 12 1985 Harvey Friedman’s research on the foundations of mathematics. Zbl 0588.03001 11 1985 The lambda calculus. Its syntax and semantics. Rev. ed. Zbl 0551.03007Barendregt, H. P. 449 1984 Combinatorial set theory: Partition relations for cardinals. Zbl 0573.03019Erdős, Paul; Hajnal, András; Máté, Attila; Rado, Richard 81 1984 Topoi. The categorial analysis of logic. Rev. ed. Zbl 0528.03039Goldblatt, Robert 39 1984 Foundations of set theory. With the collab. of Dirk van Dalen. 2nd rev. ed. Reprint. Zbl 0623.03047Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Levy, Azriel 8 1984 Set theory. An introduction to independence proofs. 2nd print. Zbl 0534.03026Kunen, Kenneth 87 1983 Proceedings of the Herbrand Symposium. Logic Colloquium ’81, held in Marseille, France, July 1981. Zbl 0489.00007 3 1982 Patras Logic Symposion. Proceedings of the Logic Symposion held at Patras, Greece, August 18–22, 1980. Zbl 0504.00001 1 1982 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001 1 1982 The lambda calculus, its syntax and semantics. Zbl 0467.03010Barendregt, H. P. 172 1981 Fundamentals of generalized recursion theory. Zbl 0597.03028Fitting, Melvin 6 1981 Set theory. An introduction to independence proofs. Zbl 0443.03021Kunen, Kenneth 638 1980 Descriptive set theory. Zbl 0433.03025Moschovakis, Yiannis N. 349 1980 Mathematical logic in Latin America. Proceedings of the IV Latin American symposium on mathematical logic, held in Santiago, December 1978. Zbl 0419.00003 3 1980 Word problems II. The Oxford book. Zbl 0423.00002 1 1980 The Kleene Symposium. Proceedings of the Symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. Zbl 0436.00007 1 1980 Topoi. The categorial analysis of logic. Zbl 0434.03050Goldblatt, Robert 76 1979 Foundational studies. Selected works. Vol. I, II. Zbl 0425.01021Mostowski, Andrzej 7 1979 Logic colloquium ’78. Proceedings of the colloquium held in Mons, August 1978. Zbl 0423.00001 4 1979 Classification theory and the number of non-isomorphic models. Zbl 0388.03009Shelah, S. 144 1978 Algebra of proofs. Zbl 0532.03030Szabo, M. E. 13 1978 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001 9 1978 Logic colloquium ’77. Proceedings of the colloquium held in Wroclaw, August 1977. Zbl 0426.00004 2 1978 Combinatorial set theory. Zbl 0362.04008Williams, Neil H. 37 1977 Logic colloquium 76. Proceedings of a conference held in Oxford in July 1976. Zbl 0409.00002 1 1977 Set theory. With an introduction to descriptive set theory. Translation of the original Polish edition. 2nd, completely revised ed. Zbl 0337.02034Kuratowski, K.; Mostowski, A. 98 1976 Boole’s logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. Zbl 0352.02002Hailperin, Theodore 20 1976 Abstract set theory. 4th rev. ed. Revised by Azriel Levy. Zbl 0372.04001Fraenkel, Abraham A. 2 1976 Sets and classes. On the work by Paul Bernays. Zbl 0327.00003 1 1976 Proof theory. Zbl 0354.02027Takeuti, Gaisi 80 1975 Large infinitary languages. Model theory. Zbl 0324.02010Dickmann, M. A. 36 1975 Proof theory. Zbl 0355.02023Takeuti, Gaisi 18 1975 Proceedings of the 3rd Scandinavian logic symposium. Zbl 0299.00012 3 1975 Logic colloquium ’73. Proceedings of the logic colloquium, Bristol, July 1973. Zbl 0299.00011 1 1975 An algebraic approach to non-classical logics. Zbl 0299.02069Rasiowa, Helena 291 1974 Elementary induction on abstract structures. Zbl 0307.02003Moschovakis, Yiannis N. 129 1974 Set theory. An introduction to large cardinals. Zbl 0294.02034Drake, Frank R. 78 1974 Logic in algebraic form. Three languages and theories. Zbl 0312.02049Craig, William 7 1974 Generalized recursion theory. Proceedings of the 1972 Oslo symposium. Zbl 0272.00006 2 1974 Model theory. Zbl 0276.02032Chang, C. C.; Keisler, H. J. 352 1973 The axiom of choice. Zbl 0259.02051Jech, Thomas J. 198 1973 Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed. Zbl 0248.02071Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Levy, Azriel 43 1973 Word problems. Decision problems and the Burnside problem in group theory. Zbl 0254.00004 5 1973 Truth, syntax and modality. Proceedings of the Temple University conference on alternative semantics. Zbl 0254.00003 2 1973 Logic, methodology and philosophy of science. IV. Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, August 29 - September 4, 1971. Zbl 0487.03002 1 1973 Combinatory logic. Vol. II. Zbl 0242.02029Curry, Haskell B.; Hindley, J. Roger; Seldin, Jonathan P. 73 1972 The theory of semisets. Zbl 0332.02064Vopenka, Petr; Hajek, Petr 9 1972 Contribution to non-standard analysis. Zbl 0236.00005 3 1972 Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers. Zbl 0222.02064Keisler, H. Jerome 136 1971 Intuitionism. An introduction. 3rd revised ed. Zbl 0219.02013Heyting, A. 19 1971 Logic colloquium ’69. Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969. Zbl 0214.00402 1 1971 The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III. Zbl 0231.02002Mal’tsev, Anatolii Ivanovich 1 1971 Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968. Zbl 0195.01201 4 1970 Outlines of a formalist philosophy of mathematics. 3rd printing. Zbl 0256.02002Curry, Haskell B. 1 1970 Constructible sets with applications. Zbl 0185.01401Mostowski, A. 5 1969 Problems in the philosophy of science. Proceedings of the International Colloquium in the Philosophy of Science. London, 1965. Vol. 3. Zbl 0153.31202 2 1968 Non-standard analysis. Zbl 0151.00803Robinson, Abraham 219 1966 A deductive theory of space and time. Zbl 0161.00208Basri, S. A. 4 1966 A transfinite type theory with type variables. Zbl 0132.24504Andrews, P. B. 7 1965 ...and 29 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 5,088 Authors 141 Shelah, Saharon 65 Stephan, Frank 39 Bazhenov, Nikolaĭ Alekseevich 36 Melnikov, Alexander G. 34 Downey, Rodney Graham 33 Tachtsis, Eleftherios 31 Jain, Sanjay 31 Knight, Julia F. 29 Andréka, Hajnal 29 Dow, Alan S. 29 Montalbán, Antonio 27 Keremedis, Kyriakos 26 Németi, István 25 Bridges, Douglas Suth 25 Finkel, Olivier 25 Katz, Mikhail G. 24 Harizanov, Valentina S. 24 Hjorth, Gregory 24 Kechris, Alexander S. 23 Hirsch, Robin 23 Kanovei, Vladimir G. 23 Rathjen, Michael 22 Friedman, Sy-David 22 Iemhoff, Rosalie 22 Kurilić, Miloš S. 22 Sayed Ahmed, Tarek 21 Hodkinson, Ian Martin 21 Ishihara, Hajime 21 Ng, KengMeng 21 Todorcevic, Stevo B. 20 Becker, Howard S. 20 Galatos, Nikolaos 20 Goncharov, Sergeĭ Savost’yanovich 20 Hrušák, Michael 20 Jacobs, Bart 20 van Benthem, Johan F. A. K. 19 Howard, Paul E. 19 Terwijn, Sebastiaan A. 18 Cintula, Petr 18 Jäger, Gerhard 17 Baldwin, John T. 17 Jansana, Ramon 17 Klop, Jan Willem 17 Vasey, Sebastien 16 Case, John 16 Dezani-Ciancaglini, Mariangiola 16 Forrest, Jeffrey Yi-Lin 16 Malliaris, Maryanthe Elizabeth 16 Noguera, Carles 16 Vychodil, Vilém 15 Balbiani, Philippe 15 Chajda, Ivan 15 Džamonja, Mirna 15 Moraschini, Tommaso 15 Paoli, Francesco 15 Shore, Richard Arnold 15 Visser, Albert 14 Bezhanishvili, Nick 14 Cenzer, Douglas 14 Ghilardi, Silvio 14 Givant, Steven R. 14 Koszmider, Piotr B. 14 Makkai, Michael 14 Metcalfe, George 14 Selivanov, Viktor L’vovich 14 Sorbi, Andrea 14 van Bakel, Steffen 13 Bankston, Paul 13 Bezhanishvili, Guram 13 Cornejo, Juan Manuel 13 Fernández, Maribel 13 Goldblatt, Robert Ian 13 Greenberg, Noam 13 Harrison-Trainor, Matthew 13 Hrushovski, Ehud 13 Hyttinen, Tapani 13 Jin, Renling 13 Kemoto, Nobuyuki 13 Kowalski, Tomasz 13 Lecomte, Dominique 13 Maddux, Roger D. 13 Montagna, Franco 13 Nies, André Otfrid 13 Nishimura, Hirokazu 13 Pouzet, Maurice 13 Sanders, Sam 13 Zakharyaschev, Michael Viktorovich 12 Blass, Andreas Raphael 12 Buszkowski, Wojciech 12 Dal Lago, Ugo 12 Herzberg, Frederik S. 12 Jackson, Stephen C. 12 Jipsen, Peter 12 Keisler, Howard Jerome 12 Kesner, Delia 12 Ledda, Antonio 12 Longo, Giuseppe 12 Makowsky, Johann-Andreas 12 Miller, Arnold W. 11 Ardeshir, Mohammad ...and 4,988 more Authors all top 5 Cited in 427 Journals 582 Annals of Pure and Applied Logic 542 The Journal of Symbolic Logic 423 Theoretical Computer Science 289 Studia Logica 268 Archive for Mathematical Logic 221 Topology and its Applications 189 Proceedings of the American Mathematical Society 180 Transactions of the American Mathematical Society 137 Algebra Universalis 125 Notre Dame Journal of Formal Logic 124 Journal of Philosophical Logic 121 Fuzzy Sets and Systems 115 Information and Computation 112 Mathematical Logic Quarterly (MLQ) 93 The Bulletin of Symbolic Logic 91 Israel Journal of Mathematics 87 Synthese 82 The Review of Symbolic Logic 77 MSCS. Mathematical Structures in Computer Science 67 Algebra and Logic 62 Advances in Mathematics 61 Journal of Pure and Applied Algebra 59 Journal of Algebra 53 Journal of Computer and System Sciences 51 Journal of Applied Non-Classical Logics 51 Soft Computing 49 Logica Universalis 48 History and Philosophy of Logic 47 Order 43 Archiv für Mathematische Logik und Grundlagenforschung 41 Journal of Automated Reasoning 40 Information Sciences 40 Journal of Mathematical Logic 39 International Journal of Theoretical Physics 38 Journal of Applied Logic 37 Logical Methods in Computer Science 33 Siberian Mathematical Journal 33 Indagationes Mathematicae. New Series 32 Artificial Intelligence 32 Information Processing Letters 32 Journal of Logic, Language and Information 32 Annals of Mathematics and Artificial Intelligence 31 Journal of Functional Programming 30 Discrete Mathematics 27 Journal of Mathematical Sciences (New York) 26 International Journal of Approximate Reasoning 26 Journal of Logical and Algebraic Methods in Programming 24 Journal of Mathematical Analysis and Applications 21 Foundations of Science 20 Communications in Algebra 19 Theory of Computing Systems 18 Journal of Combinatorial Theory. Series A 17 Acta Informatica 17 Mathematische Annalen 17 RAIRO. Theoretical Informatics and Applications 16 International Journal of General Systems 16 Fundamenta Mathematicae 16 Mathematische Zeitschrift 16 Semigroup Forum 16 Journal of Symbolic Computation 16 Topology Proceedings 14 The Mathematical Intelligencer 14 Journal of Mathematical Economics 14 Journal of the American Mathematical Society 13 Mathematica Slovaca 13 Memoirs of the American Mathematical Society 13 Rendiconti del Seminario Matematico della Università di Padova 13 Formal Aspects of Computing 13 International Journal of Algebra and Computation 13 Historia Mathematica 13 RAIRO. Informatique Théorique et Applications 13 Applied Categorical Structures 13 The Journal of Logic and Algebraic Programming 12 Journal of Mathematical Physics 12 Compositio Mathematica 12 European Journal of Combinatorics 12 Higher-Order and Symbolic Computation 12 Bulletin of the American Mathematical Society 11 Archive for History of Exact Sciences 11 Discrete Applied Mathematics 11 Czechoslovak Mathematical Journal 11 Monatshefte für Mathematik 11 Quaestiones Mathematicae 11 Bulletin of the American Mathematical Society. New Series 10 Applied Mathematics and Computation 10 Archiv der Mathematik 10 Journal of Soviet Mathematics 10 Erkenntnis 10 Logic and Logical Philosophy 10 Central European Journal of Mathematics 10 ACM Transactions on Computational Logic 10 Foundations of Physics 10 Journal of Logic and Analysis 9 Mathematical Notes 9 Kybernetika 9 RAIRO, Informatique Théorique 9 Mathematical Social Sciences 9 Acta Mathematica Hungarica 9 Journal of Complexity 9 Comptes Rendus. Mathématique. Académie des Sciences, Paris ...and 327 more Journals all top 5 Cited in 61 Fields 5,376 Mathematical logic and foundations (03-XX) 1,516 Computer science (68-XX) 692 Order, lattices, ordered algebraic structures (06-XX) 612 General topology (54-XX) 331 Category theory; homological algebra (18-XX) 262 General algebraic systems (08-XX) 256 Group theory and generalizations (20-XX) 219 Combinatorics (05-XX) 204 History and biography (01-XX) 159 Functional analysis (46-XX) 158 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 122 Real functions (26-XX) 118 Quantum theory (81-XX) 111 Measure and integration (28-XX) 104 Field theory and polynomials (12-XX) 100 General and overarching topics; collections (00-XX) 72 Probability theory and stochastic processes (60-XX) 70 Associative rings and algebras (16-XX) 59 Topological groups, Lie groups (22-XX) 58 Number theory (11-XX) 50 Commutative algebra (13-XX) 45 Geometry (51-XX) 40 Systems theory; control (93-XX) 37 Algebraic geometry (14-XX) 37 Operator theory (47-XX) 36 Dynamical systems and ergodic theory (37-XX) 33 Algebraic topology (55-XX) 27 Operations research, mathematical programming (90-XX) 23 Relativity and gravitational theory (83-XX) 21 Linear and multilinear algebra; matrix theory (15-XX) 20 Ordinary differential equations (34-XX) 20 Statistics (62-XX) 20 Information and communication theory, circuits (94-XX) 15 Abstract harmonic analysis (43-XX) 15 Manifolds and cell complexes (57-XX) 12 Convex and discrete geometry (52-XX) 11 Differential geometry (53-XX) 11 Global analysis, analysis on manifolds (58-XX) 11 Biology and other natural sciences (92-XX) 10 Nonassociative rings and algebras (17-XX) 9 Functions of a complex variable (30-XX) 8 Several complex variables and analytic spaces (32-XX) 8 Sequences, series, summability (40-XX) 7 Calculus of variations and optimal control; optimization (49-XX) 7 Mechanics of deformable solids (74-XX) 6 Potential theory (31-XX) 6 Difference and functional equations (39-XX) 6 Approximations and expansions (41-XX) 6 Numerical analysis (65-XX) 6 Mechanics of particles and systems (70-XX) 6 Mathematics education (97-XX) 5 Partial differential equations (35-XX) 5 Statistical mechanics, structure of matter (82-XX) 3 Harmonic analysis on Euclidean spaces (42-XX) 3 Integral equations (45-XX) 3 Fluid mechanics (76-XX) 1 \(K\)-theory (19-XX) 1 Special functions (33-XX) 1 Integral transforms, operational calculus (44-XX) 1 Optics, electromagnetic theory (78-XX) 1 Geophysics (86-XX) Citations by Year