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 Aczel, Peter 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 Jungersen 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 Brian 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 ...and 117 more Authors all top 5 Fields 125 Mathematical logic and foundations (03-XX) 51 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 Order, lattices, ordered algebraic structures (06-XX) 5 Category theory; homological algebra (18-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 133 Publications have been cited 10,041 times in 8,584 Documents Cited by ▼ Year ▼ Set theory. An introduction to independence proofs. Zbl 0443.03021 Kunen, Kenneth 752 1980 The lambda calculus. Its syntax and semantics. Rev. ed. Zbl 0551.03007 Barendregt, H. P. 548 1984 Residuated lattices. An algebraic glimpse at substructural logics. Zbl 1171.03001 Galatos, Nikolaos; Jipsen, Peter; Kowalski, Tomasz; Ono, Hiroakira 511 2007 Model theory. Zbl 0276.02032 Chang, C. C.; Keisler, H. J. 420 1973 Model theory. 3rd rev. ed. Zbl 0697.03022 Chang, C. C.; Keisler, H. J. 396 1990 Descriptive set theory. Zbl 0433.03025 Moschovakis, Yiannis N. 380 1980 An algebraic approach to non-classical logics. Zbl 0299.02069 Rasiowa, Helena 332 1974 Constructivism in mathematics. An introduction. Volume II. Zbl 0661.03047 Troelstra, A. S.; van Dalen, D. 304 1988 Computable structures and the hyperarithmetical hierarchy. Zbl 0960.03001 Ash, C. J.; Knight, J. F. 273 2000 Constructivism in mathematics. An introduction. Volume I. Zbl 0653.03040 Troelstra, A. S.; van Dalen, D. 270 1988 Non-standard analysis. Zbl 0151.00803 Robinson, Abraham 265 1966 Classical recursion theory. Vol. II. Zbl 0931.03057 Odifreddi, P. G. 253 1999 The axiom of choice. Zbl 0259.02051 Jech, Thomas J. 246 1973 Categorical logic and type theory. Zbl 0911.03001 Jacobs, Bart 204 1999 The lambda calculus, its syntax and semantics. Zbl 0467.03010 Barendregt, H. P. 195 1981 Classical recursion theory. The theory of functions and sets of natural numbers. Zbl 0661.03029 Odifreddi, Piergiorgio 193 1989 Cylindric algebras. Part II. Zbl 0576.03043 Henkin, Leon; Monk, J. Donald; Tarski, Alfred 176 1985 Classification theory and the number of non-isomorphic models. 2nd rev. ed. Zbl 0713.03013 Shelah, Saharon 174 1990 Many-dimensional modal logics: theory and applications. Zbl 1051.03001 Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. 171 2003 Classification theory and the number of non-isomorphic models. Zbl 0388.03009 Shelah, S. 169 1978 Elementary induction on abstract structures. Zbl 0307.02003 Moschovakis, Yiannis N. 164 1974 Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers. Zbl 0222.02064 Keisler, H. Jerome 151 1971 Combinatory logic. With two sections by William Craig. Zbl 0081.24104 Curry, Haskell B.; Feys, Robert 130 1958 Undecidable theories. Zbl 0053.00401 Tarski, Alfred; Mostowski, Andrzej; Robinson, Raphael M. 129 1953 Proof theory. 2nd ed. Zbl 0609.03019 Takeuti, Gaisi 124 1987 Set theory. With an introduction to descriptive set theory. Translation of the original Polish edition. 2nd, completely revised ed. Zbl 0337.02034 Kuratowski, K.; Mostowski, A. 122 1976 Lectures on the Curry-Howard isomorphism. Zbl 1183.03004 Sørensen, Morten Heine; Urzyczyn, Paweł 114 2006 Intuitionism. An introduction. Zbl 0070.00801 Heyting, A. 114 1956 Set theory. An introduction to independence proofs. 2nd print. Zbl 0534.03026 Kunen, Kenneth 106 1983 Admissibility of logical inference rules. Zbl 0872.03002 Rybakov, V. V. 104 1997 Introduction to model theory and to the metamathematics of algebra. Zbl 0118.25302 Robinson, A. 103 1963 Relation algebras by games. Zbl 1018.03002 Hirsch, Robin; Hodkinson, Ian 97 2002 Combinatorial set theory: Partition relations for cardinals. Zbl 0573.03019 Erdős, Paul; Hajnal, András; Máté, Attila; Rado, Richard 96 1984 Proof theory. Zbl 0354.02027 Takeuti, Gaisi 92 1975 Set theory. An introduction to large cardinals. Zbl 0294.02034 Drake, Frank R. 90 1974 Theory of relations. Transl. from the French by P. Clote. Zbl 0593.04001 Fraïssé, R. 90 1986 Realizability. An introduction to its categorical side. Zbl 1225.03002 van Oosten, Jaap 90 2008 Relation algebras. Zbl 1197.03051 Maddux, Roger D. 90 2006 Topoi. The categorial analysis of logic. Zbl 0434.03050 Goldblatt, Robert 86 1979 Combinatory logic. Vol. II. Zbl 0242.02029 Curry, Haskell B.; Hindley, J. Roger; Seldin, Jonathan P. 81 1972 Tools and techniques in modal logic. Zbl 0927.03002 Kracht, M. 77 1999 Solvable cases of the decision problem. Zbl 0056.24505 Ackermann, W. 77 1954 Language in action. Categories, lambdas and dynamic logic. Zbl 0717.03001 van Benthem, Johan 68 1991 Handbook of proof theory. Zbl 0898.03001 63 1998 Complete theories. Zbl 0070.02701 Robinson, Abraham 63 1956 Rudiments of \(\mu\)-calculus. Zbl 0968.03002 Arnold, A.; Niwiński, D. 60 2001 Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed. Zbl 0248.02071 Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Levy, Azriel 60 1973 The foundations of mathematics. A study in the philosophy of science. Zbl 0085.24104 Beth, Evert W. 54 1959 Topoi. The categorial analysis of logic. Rev. ed. Zbl 0528.03039 Goldblatt, Robert 53 1984 Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer. Revised ed. Zbl 0965.03059 Fraïssé, Roland 51 2000 Foundations of infinitesimal stochastic analysis. Zbl 0624.60052 Stroyan, K. D.; Bayod, José Manuel 49 1986 An essay in modal logic. Zbl 0043.00701 von Wright, Georg H. 49 1951 Combinatorial set theory. Zbl 0362.04008 Williams, Neil H. 47 1977 Large infinitary languages. Model theory. Zbl 0324.02010 Dickmann, M. A. 40 1975 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.03001 Hailperin, Theodore 38 1986 Classical recursion theory. The theory of functions and sets of natural numbers. Paperback ed. Zbl 0744.03044 Odifreddi, Piergiorgio 35 1992 Equivalents of the axiom of choice. 2nd ed. Zbl 0582.03033 Rubin, Herman; Rubin, Jean E. 33 1985 Quantification in nonclassical logic. Volume I. Zbl 1211.03002 Gabbay, Dov M.; Skvortsov, Dimitrij; Shehtman, Valentin 32 2009 Foundations of set theory. Zbl 0082.26203 Fraenkel, Abraham A.; Bar-Hillel, Yehoshua 31 1958 Selected papers on AUTOMATH, dedicated to N. G. de Bruijn. Zbl 0822.03009 29 1994 On the metamathematics of algebra. Zbl 0043.24702 Robinson, Abraham 26 1951 Harvey Friedman’s research on the foundations of mathematics. Zbl 0588.03001 25 1985 Logical frameworks for truth and abstraction. An axiomatic study. Zbl 0860.03015 Cantini, Andrea 25 1996 Intuitionism. An introduction. 3rd revised ed. Zbl 0219.02013 Heyting, A. 25 1971 Handbook of computability theory. Zbl 0923.03001 23 1999 Boole’s logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. Zbl 0352.02002 Hailperin, Theodore 23 1976 The logical systems of Lesniewski. Zbl 0111.00602 Luschei, E. C. 23 1962 Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus. Zbl 0077.01401 Goodstein, R. L. 23 1957 Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing. Zbl 0576.03042 Henkin, Leon; Monk, J. Donald; Tarski, Alfred 22 1985 Recursive analysis. Zbl 0217.30202 Goodstein, R. L. 22 1961 Intensional mathematics. Zbl 0547.00010 21 1985 Proof theory. Zbl 0355.02023 Takeuti, Gaisi 20 1975 Algebra of proofs. Zbl 0532.03030 Szabo, M. E. 20 1978 Abstract set theory. Zbl 0050.04903 Fraenkel, Abraham A. 20 1953 Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel. Zbl 0047.00903 Mostowski, Andrzej 16 1952 Handbook of recursive mathematics. Vol. 1: Recursive model theory. Zbl 0905.03001 15 1998 Axiomatic set theory. With a historical introduction by Abraham A. Fraenkel. Zbl 0082.26301 Bernays, Paul 15 1958 The axiomatic method. With special reference to geometry and physics. Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957 – January 4, 1958. Zbl 0088.24414 14 1959 The theory of semisets. Zbl 0332.02064 Vopenka, Petr; Hajek, Petr 12 1972 Foundational studies. Selected works. Vol. I, II. Zbl 0425.01021 Mostowski, Andrzej 10 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 10 1978 Foundations of set theory. With the collab. of Dirk van Dalen. 2nd rev. ed. Reprint. Zbl 0623.03047 Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Levy, Azriel 10 1984 Hausdorff gaps and limits. Zbl 0821.54001 Frankiewicz, Ryszard; Zbierski, Pawel 10 1994 The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III. Zbl 0231.02002 Mal’tsev, Anatolii Ivanovich 9 1971 A transfinite type theory with type variables. Zbl 0132.24504 Andrews, P. B. 8 1965 Constructible sets with applications. Zbl 0185.01401 Mostowski, A. 8 1969 Aristotle’s modal syllogisms. Zbl 0105.24703 McCall, Storrs 8 1963 Outlines of a formalist philosophy of mathematics. Zbl 0043.00601 Curry, Haskell B. 8 1951 Truth and consequence in mediaeval logic. Zbl 0050.24404 Moody, Ernest A. 8 1953 Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics. Zbl 0905.03002 7 1998 Logic in algebraic form. Three languages and theories. Zbl 0312.02049 Craig, William 7 1974 Word problems. Decision problems and the Burnside problem in group theory. Zbl 0254.00004 7 1973 Fundamentals of generalized recursion theory. Zbl 0597.03028 Fitting, Melvin 7 1981 The theory of models. Proceedings of the 1963 international symposium at Berkeley. Zbl 0148.00103 7 1965 Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968. Zbl 0195.01201 7 1970 Computability, complexity, logic. Transl. from the German. Zbl 0669.68002 Börger, E. 7 1989 Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957. Zbl 0086.00701 7 1959 Introduction to the theory of finite automata. Translated from the Russian. Translation edited by J.C. Shepherdson. Zbl 0128.01401 Kobrinskij, N. E.; Trakhtenbrot, B. A. 6 1965 Contribution to non-standard analysis. Zbl 0236.00005 6 1972 Ancient formal logic. Zbl 0043.24513 Bocheński, I. M. 6 1951 Quantification in nonclassical logic. Volume I. Zbl 1211.03002 Gabbay, Dov M.; Skvortsov, Dimitrij; Shehtman, Valentin 32 2009 Realizability. An introduction to its categorical side. Zbl 1225.03002 van Oosten, Jaap 90 2008 Residuated lattices. An algebraic glimpse at substructural logics. Zbl 1171.03001 Galatos, Nikolaos; Jipsen, Peter; Kowalski, Tomasz; Ono, Hiroakira 511 2007 Lectures on the Curry-Howard isomorphism. Zbl 1183.03004 Sørensen, Morten Heine; Urzyczyn, Paweł 114 2006 Relation algebras. Zbl 1197.03051 Maddux, Roger D. 90 2006 Many-dimensional modal logics: theory and applications. Zbl 1051.03001 Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. 171 2003 Relation algebras by games. Zbl 1018.03002 Hirsch, Robin; Hodkinson, Ian 97 2002 Rudiments of \(\mu\)-calculus. Zbl 0968.03002 Arnold, A.; Niwiński, D. 60 2001 Computable structures and the hyperarithmetical hierarchy. Zbl 0960.03001 Ash, C. J.; Knight, J. F. 273 2000 Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer. Revised ed. Zbl 0965.03059 Fraïssé, Roland 51 2000 Classical recursion theory. Vol. II. Zbl 0931.03057 Odifreddi, P. G. 253 1999 Categorical logic and type theory. Zbl 0911.03001 Jacobs, Bart 204 1999 Tools and techniques in modal logic. Zbl 0927.03002 Kracht, M. 77 1999 Handbook of computability theory. Zbl 0923.03001 23 1999 Handbook of proof theory. Zbl 0898.03001 63 1998 Handbook of recursive mathematics. Vol. 1: Recursive model theory. Zbl 0905.03001 15 1998 Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics. Zbl 0905.03002 7 1998 Admissibility of logical inference rules. Zbl 0872.03002 Rybakov, V. V. 104 1997 Logical frameworks for truth and abstraction. An axiomatic study. Zbl 0860.03015 Cantini, Andrea 25 1996 Selected papers on AUTOMATH, dedicated to N. G. de Bruijn. Zbl 0822.03009 29 1994 Hausdorff gaps and limits. Zbl 0821.54001 Frankiewicz, Ryszard; Zbierski, Pawel 10 1994 Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991. Zbl 0807.00012 1 1994 Classical recursion theory. The theory of functions and sets of natural numbers. Paperback ed. Zbl 0744.03044 Odifreddi, Piergiorgio 35 1992 Language in action. Categories, lambdas and dynamic logic. Zbl 0717.03001 van Benthem, Johan 68 1991 Model theory. 3rd rev. ed. Zbl 0697.03022 Chang, C. C.; Keisler, H. J. 396 1990 Classification theory and the number of non-isomorphic models. 2nd rev. ed. Zbl 0713.03013 Shelah, Saharon 174 1990 Classical recursion theory. The theory of functions and sets of natural numbers. Zbl 0661.03029 Odifreddi, Piergiorgio 193 1989 Computability, complexity, logic. Transl. from the German. Zbl 0669.68002 Börger, E. 7 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 II. Zbl 0661.03047 Troelstra, A. S.; van Dalen, D. 304 1988 Constructivism in mathematics. An introduction. Volume I. Zbl 0653.03040 Troelstra, A. S.; van Dalen, D. 270 1988 Proof theory. 2nd ed. Zbl 0609.03019 Takeuti, Gaisi 124 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.04001 Fraïssé, R. 90 1986 Foundations of infinitesimal stochastic analysis. Zbl 0624.60052 Stroyan, K. D.; Bayod, José Manuel 49 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.03001 Hailperin, Theodore 38 1986 Introduction to model theory and to the metamathematics of algebra. 2nd ed. (2nd print.). (With a preface by H. Jerome Keisler). Zbl 0665.03017 Robinson, Abraham 1 1986 Cylindric algebras. Part II. Zbl 0576.03043 Henkin, Leon; Monk, J. Donald; Tarski, Alfred 176 1985 Equivalents of the axiom of choice. 2nd ed. Zbl 0582.03033 Rubin, Herman; Rubin, Jean E. 33 1985 Harvey Friedman’s research on the foundations of mathematics. Zbl 0588.03001 25 1985 Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing. Zbl 0576.03042 Henkin, Leon; Monk, J. Donald; Tarski, Alfred 22 1985 Intensional mathematics. Zbl 0547.00010 21 1985 The lambda calculus. Its syntax and semantics. Rev. ed. Zbl 0551.03007 Barendregt, H. P. 548 1984 Combinatorial set theory: Partition relations for cardinals. Zbl 0573.03019 Erdős, Paul; Hajnal, András; Máté, Attila; Rado, Richard 96 1984 Topoi. The categorial analysis of logic. Rev. ed. Zbl 0528.03039 Goldblatt, Robert 53 1984 Foundations of set theory. With the collab. of Dirk van Dalen. 2nd rev. ed. Reprint. Zbl 0623.03047 Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Levy, Azriel 10 1984 Set theory. An introduction to independence proofs. 2nd print. Zbl 0534.03026 Kunen, Kenneth 106 1983 Proceedings of the Herbrand Symposium. Logic Colloquium ’81, held in Marseille, France, July 1981. Zbl 0489.00007 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 Patras Logic Symposion. Proceedings of the Logic Symposion held at Patras, Greece, August 18–22, 1980. Zbl 0504.00001 2 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 2 1982 The lambda calculus, its syntax and semantics. Zbl 0467.03010 Barendregt, H. P. 195 1981 Fundamentals of generalized recursion theory. Zbl 0597.03028 Fitting, Melvin 7 1981 Set theory. An introduction to independence proofs. Zbl 0443.03021 Kunen, Kenneth 752 1980 Descriptive set theory. Zbl 0433.03025 Moschovakis, Yiannis N. 380 1980 Mathematical logic in Latin America. Proceedings of the IV Latin American symposium on mathematical logic, held in Santiago, December 1978. Zbl 0419.00003 2 1980 The Kleene Symposium. Proceedings of the Symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. Zbl 0436.00007 2 1980 Topoi. The categorial analysis of logic. Zbl 0434.03050 Goldblatt, Robert 86 1979 Foundational studies. Selected works. Vol. I, II. Zbl 0425.01021 Mostowski, Andrzej 10 1979 Logic colloquium ’78. Proceedings of the colloquium held in Mons, August 1978. Zbl 0423.00001 5 1979 Classification theory and the number of non-isomorphic models. Zbl 0388.03009 Shelah, S. 169 1978 Algebra of proofs. Zbl 0532.03030 Szabo, M. E. 20 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 10 1978 Logic colloquium ’77. Proceedings of the colloquium held in Wroclaw, August 1977. Zbl 0426.00004 3 1978 Generalized recursion theory II. Proceedings of the 1977 Oslo Symposium. Zbl 0453.03047 1 1978 Combinatorial set theory. Zbl 0362.04008 Williams, Neil H. 47 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.02034 Kuratowski, K.; Mostowski, A. 122 1976 Boole’s logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. Zbl 0352.02002 Hailperin, Theodore 23 1976 Abstract set theory. 4th rev. ed. Revised by Azriel Levy. Zbl 0372.04001 Fraenkel, Abraham A. 2 1976 Sets and classes. On the work by Paul Bernays. Zbl 0327.00003 1 1976 Proof theory. Zbl 0354.02027 Takeuti, Gaisi 92 1975 Large infinitary languages. Model theory. Zbl 0324.02010 Dickmann, M. A. 40 1975 Proof theory. Zbl 0355.02023 Takeuti, Gaisi 20 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 2 1975 An algebraic approach to non-classical logics. Zbl 0299.02069 Rasiowa, Helena 332 1974 Elementary induction on abstract structures. Zbl 0307.02003 Moschovakis, Yiannis N. 164 1974 Set theory. An introduction to large cardinals. Zbl 0294.02034 Drake, Frank R. 90 1974 Logic in algebraic form. Three languages and theories. Zbl 0312.02049 Craig, William 7 1974 Generalized recursion theory. Proceedings of the 1972 Oslo symposium. Zbl 0272.00006 2 1974 Model theory. Zbl 0276.02032 Chang, C. C.; Keisler, H. J. 420 1973 The axiom of choice. Zbl 0259.02051 Jech, Thomas J. 246 1973 Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed. Zbl 0248.02071 Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Levy, Azriel 60 1973 Word problems. Decision problems and the Burnside problem in group theory. Zbl 0254.00004 7 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.02029 Curry, Haskell B.; Hindley, J. Roger; Seldin, Jonathan P. 81 1972 The theory of semisets. Zbl 0332.02064 Vopenka, Petr; Hajek, Petr 12 1972 Contribution to non-standard analysis. Zbl 0236.00005 6 1972 Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers. Zbl 0222.02064 Keisler, H. Jerome 151 1971 Intuitionism. An introduction. 3rd revised ed. Zbl 0219.02013 Heyting, A. 25 1971 The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III. Zbl 0231.02002 Mal’tsev, Anatolii Ivanovich 9 1971 Logic colloquium ’69. Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969. Zbl 0214.00402 1 1971 Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968. Zbl 0195.01201 7 1970 Outlines of a formalist philosophy of mathematics. 3rd printing. Zbl 0256.02002 Curry, Haskell B. 2 1970 Constructible sets with applications. Zbl 0185.01401 Mostowski, A. 8 1969 Logic, methodology and philosophy of science III. Proceedings of the third international congress for logic, methodology and philosophy of science, Amsterdam 1967. Zbl 0177.29302 3 1968 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 ...and 33 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 5,957 Authors 170 Shelah, Saharon 73 Stephan, Frank 52 Bazhenov, Nikolaĭ Alekseevich 49 Tachtsis, Eleftherios 43 Melnikov, Alexander G. 37 Downey, Rodney Graham 37 Keremedis, Kyriakos 35 Dow, Alan S. 34 Knight, Julia F. 33 Jain, Sanjay 31 Andréka, Hajnal 31 Rathjen, Michael 30 Katz, Mikhail G. 30 Montalbán, Antonio 28 Kurilić, Miloš S. 28 Németi, István 27 Bridges, Douglas Suth 27 Kanovei, Vladimir G. 27 Sayed Ahmed, Tarek 27 Todorcevic, Stevo B. 26 Finkel, Olivier 26 Klop, Jan Willem 25 Galatos, Nikolaos 25 Harizanov, Valentina S. 25 Ishihara, Hajime 24 Hirsch, Robin 24 Hjorth, Gregory 24 Iemhoff, Rosalie 24 Kechris, Alexander S. 24 Ng, KengMeng 23 Terwijn, Sebastiaan A. 23 van Benthem, Johan F. A. K. 22 Friedman, Sy-David 22 Hrušák, Michael 21 Becker, Howard S. 21 Goncharov, Sergeĭ Savost’yanovich 21 Hodkinson, Ian Martin 21 Howard, Paul E. 21 Jacobs, Bart 21 Jäger, Gerhard 21 Moraschini, Tommaso 20 Ghilardi, Silvio 20 Pouzet, Maurice 20 Selivanov, Viktor L’vovich 19 Balbiani, Philippe 19 Baldwin, John T. 19 Bezhanishvili, Nick 19 Chajda, Ivan 19 Cintula, Petr 19 Dezani-Ciancaglini, Mariangiola 19 Džamonja, Mirna 19 Forrest, Jeffrey Yi-Lin 19 Jansana, Ramon 19 Jipsen, Peter 19 Malliaris, Maryanthe Elizabeth 19 Sanders, Sam 18 Metcalfe, George 18 Nies, André Otfrid 18 Paoli, Francesco 18 Vasey, Sebastien 18 Visser, Albert 17 Bezhanishvili, Guram 17 Case, John 17 Zakharyaschev, Michael Viktorovich 16 Cornejo, Juan Manuel 16 Dal Lago, Ugo 16 Hyttinen, Tapani 16 Kesner, Delia 16 Noguera, Carles 16 Shore, Richard Arnold 16 Sorbi, Andrea 16 Vychodil, Vilém 15 Blass, Andreas Raphael 15 Greenberg, Noam 15 Harrison-Trainor, Matthew 15 Kemoto, Nobuyuki 15 Koszmider, Piotr B. 15 Kowalski, Tomasz 15 Lecomte, Dominique 15 Pillay, Anand 15 Rivieccio, Umberto 15 Sauer, Norbert W. 15 van Bakel, Steffen 14 Bankston, Paul 14 Cenzer, Douglas 14 Fernández, Maribel 14 Givant, Steven R. 14 Hrushovski, Ehud 14 Kamareddine, Fairouz D. 14 Kaplan, Itay 14 Ledda, Antonio 14 Maddux, Roger D. 14 Makkai, Michael 14 Makowsky, Johann-Andreas 14 Schuster, Peter Michael 14 Venema, Yde 14 Wolter, Frank 13 Asperó, David 13 Baaz, Matthias 13 Citkin, Alex ...and 5,857 more Authors all top 5 Cited in 489 Journals 697 Annals of Pure and Applied Logic 577 The Journal of Symbolic Logic 475 Theoretical Computer Science 324 Studia Logica 309 Archive for Mathematical Logic 241 Topology and its Applications 197 Proceedings of the American Mathematical Society 188 Mathematical Logic Quarterly (MLQ) 186 Transactions of the American Mathematical Society 152 Information and Computation 147 Algebra Universalis 144 Journal of Philosophical Logic 143 Israel Journal of Mathematics 137 Fuzzy Sets and Systems 135 Notre Dame Journal of Formal Logic 107 The Bulletin of Symbolic Logic 105 Synthese 104 The Review of Symbolic Logic 100 MSCS. Mathematical Structures in Computer Science 76 Journal of Pure and Applied Algebra 74 Algebra and Logic 69 Advances in Mathematics 66 Soft Computing 62 Journal of Algebra 61 Logica Universalis 57 Journal of Computer and System Sciences 56 Logical Methods in Computer Science 55 Journal of Applied Non-Classical Logics 54 History and Philosophy of Logic 52 Journal of Mathematical Logic 51 Order 47 Journal of Automated Reasoning 45 Artificial Intelligence 43 Archiv für Mathematische Logik und Grundlagenforschung 43 Journal of Applied Logic 42 Discrete Mathematics 40 International Journal of Theoretical Physics 40 Information Sciences 39 Journal of Logic, Language and Information 38 International Journal of Approximate Reasoning 37 Indagationes Mathematicae. New Series 36 Journal of Mathematical Sciences (New York) 35 Siberian Mathematical Journal 33 Information Processing Letters 33 Journal of Functional Programming 33 Annals of Mathematics and Artificial Intelligence 32 Journal of Logical and Algebraic Methods in Programming 28 Fundamenta Mathematicae 26 Journal of Mathematical Analysis and Applications 26 Journal of Symbolic Computation 23 Theory of Computing Systems 22 Communications in Algebra 21 Foundations of Science 20 The Mathematical Intelligencer 20 Mathematica Slovaca 19 Journal of Combinatorial Theory. Series A 19 Mathematische Annalen 19 Topology Proceedings 19 Computability 18 Acta Informatica 18 Bulletin of the Section of Logic 18 ACM Transactions on Computational Logic 17 Mathematische Zeitschrift 17 Applied Categorical Structures 17 RAIRO. Theoretical Informatics and Applications 16 International Journal of General Systems 16 Journal of Mathematical Economics 16 Semigroup Forum 16 International Journal of Algebra and Computation 15 Memoirs of the American Mathematical Society 14 Monatshefte für Mathematik 14 Quaestiones Mathematicae 14 Acta Mathematica Hungarica 14 Journal of the American Mathematical Society 14 The Journal of Logic and Algebraic Programming 13 Discrete Applied Mathematics 13 Rendiconti del Seminario Matematico della Università di Padova 13 Formal Aspects of Computing 13 Historia Mathematica 13 RAIRO. Informatique Théorique et Applications 13 Logic and Logical Philosophy 13 Central European Journal of Mathematics 13 Journal of Logic and Analysis 12 Journal of Mathematical Physics 12 Compositio Mathematica 12 European Journal of Combinatorics 12 Bulletin of the American Mathematical Society. New Series 12 Higher-Order and Symbolic Computation 12 Foundations of Physics 12 Bulletin of the American Mathematical Society 11 Archive for History of Exact Sciences 11 Czechoslovak Mathematical Journal 11 Theory and Applications of Categories 11 Erkenntnis 10 Applied Mathematics and Computation 10 Archiv der Mathematik 10 Commentationes Mathematicae Universitatis Carolinae 10 Journal of Combinatorial Theory. Series B 10 Journal of Soviet Mathematics 10 Mathematical Social Sciences ...and 389 more Journals all top 5 Cited in 61 Fields 6,568 Mathematical logic and foundations (03-XX) 1,943 Computer science (68-XX) 851 Order, lattices, ordered algebraic structures (06-XX) 721 General topology (54-XX) 442 Category theory; homological algebra (18-XX) 299 Group theory and generalizations (20-XX) 298 General algebraic systems (08-XX) 289 Combinatorics (05-XX) 243 History and biography (01-XX) 195 Functional analysis (46-XX) 179 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 140 Real functions (26-XX) 133 General and overarching topics; collections (00-XX) 133 Quantum theory (81-XX) 129 Field theory and polynomials (12-XX) 127 Measure and integration (28-XX) 87 Probability theory and stochastic processes (60-XX) 81 Associative rings and algebras (16-XX) 73 Number theory (11-XX) 67 Topological groups, Lie groups (22-XX) 65 Commutative algebra (13-XX) 56 Geometry (51-XX) 48 Algebraic topology (55-XX) 45 Dynamical systems and ergodic theory (37-XX) 43 Algebraic geometry (14-XX) 43 Systems theory; control (93-XX) 41 Operator theory (47-XX) 31 Operations research, mathematical programming (90-XX) 27 Relativity and gravitational theory (83-XX) 26 Linear and multilinear algebra; matrix theory (15-XX) 24 Ordinary differential equations (34-XX) 23 Information and communication theory, circuits (94-XX) 21 Statistics (62-XX) 20 Manifolds and cell complexes (57-XX) 15 Abstract harmonic analysis (43-XX) 15 Convex and discrete geometry (52-XX) 15 Differential geometry (53-XX) 13 Functions of a complex variable (30-XX) 13 Global analysis, analysis on manifolds (58-XX) 12 Biology and other natural sciences (92-XX) 10 Nonassociative rings and algebras (17-XX) 10 Sequences, series, summability (40-XX) 9 Several complex variables and analytic spaces (32-XX) 9 Numerical analysis (65-XX) 8 Potential theory (31-XX) 7 Approximations and expansions (41-XX) 7 Calculus of variations and optimal control; optimization (49-XX) 7 Mechanics of deformable solids (74-XX) 6 Partial differential equations (35-XX) 6 Difference and functional equations (39-XX) 6 Harmonic analysis on Euclidean spaces (42-XX) 6 Mechanics of particles and systems (70-XX) 6 Statistical mechanics, structure of matter (82-XX) 6 Mathematics education (97-XX) 4 Fluid mechanics (76-XX) 3 Integral equations (45-XX) 2 \(K\)-theory (19-XX) 2 Optics, electromagnetic theory (78-XX) 1 Special functions (33-XX) 1 Integral transforms, operational calculus (44-XX) 1 Geophysics (86-XX) Citations by Year