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 132 Publications have been cited 9,527 times in 8,183 Documents Cited by ▼ Year ▼ Set theory. An introduction to independence proofs. Zbl 0443.03021Kunen, Kenneth 726 1980 The lambda calculus. Its syntax and semantics. Rev. ed. Zbl 0551.03007Barendregt, H. P. 520 1984 Residuated lattices. An algebraic glimpse at substructural logics. Zbl 1171.03001Galatos, Nikolaos; Jipsen, Peter; Kowalski, Tomasz; Ono, Hiroakira 487 2007 Model theory. Zbl 0276.02032Chang, C. C.; Keisler, H. J. 408 1973 Descriptive set theory. Zbl 0433.03025Moschovakis, Yiannis N. 376 1980 Model theory. 3rd rev. ed. Zbl 0697.03022Chang, C. C.; Keisler, H. J. 365 1990 An algebraic approach to non-classical logics. Zbl 0299.02069Rasiowa, Helena 320 1974 Constructivism in mathematics. An introduction. Volume II. Zbl 0661.03047Troelstra, A. S.; van Dalen, D. 284 1988 Computable structures and the hyperarithmetical hierarchy. Zbl 0960.03001Ash, C. J.; Knight, J. F. 263 2000 Non-standard analysis. Zbl 0151.00803Robinson, Abraham 253 1966 Constructivism in mathematics. An introduction. Volume I. Zbl 0653.03040Troelstra, A. S.; van Dalen, D. 252 1988 Classical recursion theory. Vol. II. Zbl 0931.03057Odifreddi, P. G. 247 1999 The axiom of choice. Zbl 0259.02051Jech, Thomas J. 234 1973 Categorical logic and type theory. Zbl 0911.03001Jacobs, Bart 193 1999 The lambda calculus, its syntax and semantics. Zbl 0467.03010Barendregt, H. P. 190 1981 Classical recursion theory. The theory of functions and sets of natural numbers. Zbl 0661.03029Odifreddi, Piergiorgio 183 1989 Cylindric algebras. Part II. Zbl 0576.03043Henkin, Leon; Monk, J. Donald; Tarski, Alfred 167 1985 Many-dimensional modal logics: theory and applications. Zbl 1051.03001Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. 167 2003 Classification theory and the number of non-isomorphic models. Zbl 0388.03009Shelah, S. 164 1978 Elementary induction on abstract structures. Zbl 0307.02003Moschovakis, Yiannis N. 157 1974 Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers. Zbl 0222.02064Keisler, H. Jerome 150 1971 Classification theory and the number of non-isomorphic models. 2nd rev. ed. Zbl 0713.03013Shelah, Saharon 149 1990 Undecidable theories. Zbl 0053.00401Tarski, Alfred; Mostowski, Andrzej; Robinson, Raphael M. 121 1953 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. 116 1976 Proof theory. 2nd ed. Zbl 0609.03019Takeuti, Gaisi 112 1987 Intuitionism. An introduction. Zbl 0070.00801Heyting, A. 109 1956 Combinatory logic. With two sections by William Craig. Zbl 0081.24104Curry, Haskell B.; Feys, Robert 109 1958 Lectures on the Curry-Howard isomorphism. Zbl 1183.03004Sørensen, Morten Heine; Urzyczyn, Paweł 104 2006 Set theory. An introduction to independence proofs. 2nd print. Zbl 0534.03026Kunen, Kenneth 103 1983 Introduction to model theory and to the metamathematics of algebra. Zbl 0118.25302Robinson, A. 102 1963 Admissibility of logical inference rules. Zbl 0872.03002Rybakov, V. V. 99 1997 Combinatorial set theory: Partition relations for cardinals. Zbl 0573.03019Erdős, Paul; Hajnal, András; Máté, Attila; Rado, Richard 95 1984 Proof theory. Zbl 0354.02027Takeuti, Gaisi 92 1975 Relation algebras by games. Zbl 1018.03002Hirsch, Robin; Hodkinson, Ian 91 2002 Set theory. An introduction to large cardinals. Zbl 0294.02034Drake, Frank R. 88 1974 Theory of relations. Transl. from the French by P. Clote. Zbl 0593.04001Fraïssé, R. 86 1986 Topoi. The categorial analysis of logic. Zbl 0434.03050Goldblatt, Robert 85 1979 Realizability. An introduction to its categorical side. Zbl 1225.03002van Oosten, Jaap 84 2008 Relation algebras. Zbl 1197.03051Maddux, Roger D. 83 2006 Combinatory logic. Vol. II. Zbl 0242.02029Curry, Haskell B.; Hindley, J. Roger; Seldin, Jonathan P. 80 1972 Solvable cases of the decision problem. Zbl 0056.24505Ackermann, W. 76 1954 Tools and techniques in modal logic. Zbl 0927.03002Kracht, M. 73 1999 Language in action. Categories, lambdas and dynamic logic. Zbl 0717.03001van Benthem, Johan 65 1991 Complete theories. Zbl 0070.02701Robinson, Abraham 61 1956 Rudiments of \(\mu\)-calculus. Zbl 0968.03002Arnold, A.; Niwiński, D. 59 2001 Handbook of proof theory. Zbl 0898.03001 57 1998 Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed. Zbl 0248.02071Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Levy, Azriel 53 1973 Topoi. The categorial analysis of logic. Rev. ed. Zbl 0528.03039Goldblatt, Robert 51 1984 The foundations of mathematics. A study in the philosophy of science. Zbl 0085.24104Beth, Evert W. 49 1959 Foundations of infinitesimal stochastic analysis. Zbl 0624.60052Stroyan, K. D.; Bayod, José Manuel 47 1986 An essay in modal logic. Zbl 0043.00701von Wright, Georg H. 47 1951 Combinatorial set theory. Zbl 0362.04008Williams, Neil H. 45 1977 Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer. Revised ed. Zbl 0965.03059Fraïssé, Roland 40 2000 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 36 1986 Large infinitary languages. Model theory. Zbl 0324.02010Dickmann, M. A. 36 1975 Classical recursion theory. The theory of functions and sets of natural numbers. Paperback ed. Zbl 0744.03044Odifreddi, Piergiorgio 34 1992 Equivalents of the axiom of choice. 2nd ed. Zbl 0582.03033Rubin, Herman; Rubin, Jean E. 33 1985 Foundations of set theory. Zbl 0082.26203Fraenkel, Abraham A.; Bar-Hillel, Yehoshua 29 1958 On the metamathematics of algebra. Zbl 0043.24702Robinson, Abraham 25 1951 Logical frameworks for truth and abstraction. An axiomatic study. Zbl 0860.03015Cantini, Andrea 25 1996 Selected papers on AUTOMATH, dedicated to N. G. de Bruijn. Zbl 0822.03009 24 1994 Intuitionism. An introduction. 3rd revised ed. Zbl 0219.02013Heyting, A. 24 1971 Quantification in nonclassical logic. Volume I. Zbl 1211.03002Gabbay, Dov M.; Skvortsov, Dimitrij; Shehtman, Valentin 24 2009 Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing. Zbl 0576.03042Henkin, Leon; Monk, J. Donald; Tarski, Alfred 22 1985 Boole’s logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. Zbl 0352.02002Hailperin, Theodore 22 1976 Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus. Zbl 0077.01401Goodstein, R. L. 22 1957 The logical systems of Lesniewski. Zbl 0111.00602Luschei, E. C. 22 1962 Handbook of computability theory. Zbl 0923.03001 21 1999 Recursive analysis. Zbl 0217.30202Goodstein, R. L. 21 1961 Abstract set theory. Zbl 0050.04903Fraenkel, Abraham A. 20 1953 Algebra of proofs. Zbl 0532.03030Szabo, M. E. 19 1978 Intensional mathematics. Zbl 0547.00010 19 1985 Proof theory. Zbl 0355.02023Takeuti, Gaisi 17 1975 Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel. Zbl 0047.00903Mostowski, Andrzej 16 1952 Axiomatic set theory. With a historical introduction by Abraham A. Fraenkel. Zbl 0082.26301Bernays, Paul 15 1958 Handbook of recursive mathematics. Vol. 1: Recursive model theory. Zbl 0905.03001 14 1998 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 Harvey Friedman’s research on the foundations of mathematics. Zbl 0588.03001 13 1985 The theory of semisets. Zbl 0332.02064Vopenka, Petr; Hajek, Petr 12 1972 Foundational studies. Selected works. Vol. I, II. Zbl 0425.01021Mostowski, Andrzej 10 1979 Hausdorff gaps and limits. Zbl 0821.54001Frankiewicz, Ryszard; Zbierski, Pawel 10 1994 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 9 1984 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 Outlines of a formalist philosophy of mathematics. Zbl 0043.00601Curry, Haskell B. 8 1951 Truth and consequence in mediaeval logic. Zbl 0050.24404Moody, Ernest A. 8 1953 Aristotle’s modal syllogisms. Zbl 0105.24703McCall, Storrs 8 1963 A transfinite type theory with type variables. Zbl 0132.24504Andrews, P. B. 8 1965 Constructible sets with applications. Zbl 0185.01401Mostowski, A. 8 1969 Fundamentals of generalized recursion theory. Zbl 0597.03028Fitting, Melvin 7 1981 Logic in algebraic form. Three languages and theories. Zbl 0312.02049Craig, William 7 1974 Word problems. Decision problems and the Burnside problem in group theory. Zbl 0254.00004 7 1973 Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968. Zbl 0195.01201 7 1970 Ancient formal logic. Zbl 0043.24513Bocheński, I. M. 6 1951 Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957. Zbl 0086.00701 6 1959 The theory of models. Proceedings of the 1963 international symposium at Berkeley. Zbl 0148.00103 6 1965 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 Computer programming and formal systems. Zbl 0108.13402 5 1963 Logic colloquium ’78. Proceedings of the colloquium held in Mons, August 1978. Zbl 0423.00001 5 1979 Nomological statements and admissible operations. Zbl 0056.24406Reichenbach, Hans 4 1954 Quantification in nonclassical logic. Volume I. Zbl 1211.03002Gabbay, Dov M.; Skvortsov, Dimitrij; Shehtman, Valentin 24 2009 Realizability. An introduction to its categorical side. Zbl 1225.03002van Oosten, Jaap 84 2008 Residuated lattices. An algebraic glimpse at substructural logics. Zbl 1171.03001Galatos, Nikolaos; Jipsen, Peter; Kowalski, Tomasz; Ono, Hiroakira 487 2007 Lectures on the Curry-Howard isomorphism. Zbl 1183.03004Sørensen, Morten Heine; Urzyczyn, Paweł 104 2006 Relation algebras. Zbl 1197.03051Maddux, Roger D. 83 2006 Many-dimensional modal logics: theory and applications. Zbl 1051.03001Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M. 167 2003 Relation algebras by games. Zbl 1018.03002Hirsch, Robin; Hodkinson, Ian 91 2002 Rudiments of \(\mu\)-calculus. Zbl 0968.03002Arnold, A.; Niwiński, D. 59 2001 Computable structures and the hyperarithmetical hierarchy. Zbl 0960.03001Ash, C. J.; Knight, J. F. 263 2000 Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer. Revised ed. Zbl 0965.03059Fraïssé, Roland 40 2000 Classical recursion theory. Vol. II. Zbl 0931.03057Odifreddi, P. G. 247 1999 Categorical logic and type theory. Zbl 0911.03001Jacobs, Bart 193 1999 Tools and techniques in modal logic. Zbl 0927.03002Kracht, M. 73 1999 Handbook of computability theory. Zbl 0923.03001 21 1999 Handbook of proof theory. Zbl 0898.03001 57 1998 Handbook of recursive mathematics. Vol. 1: Recursive model theory. Zbl 0905.03001 14 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. 99 1997 Logical frameworks for truth and abstraction. An axiomatic study. Zbl 0860.03015Cantini, Andrea 25 1996 Selected papers on AUTOMATH, dedicated to N. G. de Bruijn. Zbl 0822.03009 24 1994 Hausdorff gaps and limits. Zbl 0821.54001Frankiewicz, 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.03044Odifreddi, Piergiorgio 34 1992 Language in action. Categories, lambdas and dynamic logic. Zbl 0717.03001van Benthem, Johan 65 1991 Model theory. 3rd rev. ed. Zbl 0697.03022Chang, C. C.; Keisler, H. J. 365 1990 Classification theory and the number of non-isomorphic models. 2nd rev. ed. Zbl 0713.03013Shelah, Saharon 149 1990 Classical recursion theory. The theory of functions and sets of natural numbers. Zbl 0661.03029Odifreddi, Piergiorgio 183 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 II. Zbl 0661.03047Troelstra, A. S.; van Dalen, D. 284 1988 Constructivism in mathematics. An introduction. Volume I. Zbl 0653.03040Troelstra, A. S.; van Dalen, D. 252 1988 Proof theory. 2nd ed. Zbl 0609.03019Takeuti, Gaisi 112 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. 86 1986 Foundations of infinitesimal stochastic analysis. Zbl 0624.60052Stroyan, K. D.; Bayod, José Manuel 47 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 36 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 167 1985 Equivalents of the axiom of choice. 2nd ed. Zbl 0582.03033Rubin, Herman; Rubin, Jean E. 33 1985 Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing. Zbl 0576.03042Henkin, Leon; Monk, J. Donald; Tarski, Alfred 22 1985 Intensional mathematics. Zbl 0547.00010 19 1985 Harvey Friedman’s research on the foundations of mathematics. Zbl 0588.03001 13 1985 The lambda calculus. Its syntax and semantics. Rev. ed. Zbl 0551.03007Barendregt, H. P. 520 1984 Combinatorial set theory: Partition relations for cardinals. Zbl 0573.03019Erdős, Paul; Hajnal, András; Máté, Attila; Rado, Richard 95 1984 Topoi. The categorial analysis of logic. Rev. ed. Zbl 0528.03039Goldblatt, Robert 51 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 9 1984 Set theory. An introduction to independence proofs. 2nd print. Zbl 0534.03026Kunen, Kenneth 103 1983 The L. E. J. Brouwer Centenary Symposium. Proceedings of the Conference held in Noordwijkerhout, 8–13 June, 1981. Zbl 0505.00008 3 1982 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 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 1 1982 The lambda calculus, its syntax and semantics. Zbl 0467.03010Barendregt, H. P. 190 1981 Fundamentals of generalized recursion theory. Zbl 0597.03028Fitting, Melvin 7 1981 Set theory. An introduction to independence proofs. Zbl 0443.03021Kunen, Kenneth 726 1980 Descriptive set theory. Zbl 0433.03025Moschovakis, Yiannis N. 376 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.03050Goldblatt, Robert 85 1979 Foundational studies. Selected works. Vol. I, II. Zbl 0425.01021Mostowski, 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.03009Shelah, S. 164 1978 Algebra of proofs. Zbl 0532.03030Szabo, M. E. 19 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. 45 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. 116 1976 Boole’s logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. Zbl 0352.02002Hailperin, Theodore 22 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 92 1975 Large infinitary languages. Model theory. Zbl 0324.02010Dickmann, M. A. 36 1975 Proof theory. Zbl 0355.02023Takeuti, Gaisi 17 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.02069Rasiowa, Helena 320 1974 Elementary induction on abstract structures. Zbl 0307.02003Moschovakis, Yiannis N. 157 1974 Set theory. An introduction to large cardinals. Zbl 0294.02034Drake, Frank R. 88 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. 408 1973 The axiom of choice. Zbl 0259.02051Jech, Thomas J. 234 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 53 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.02029Curry, Haskell B.; Hindley, J. Roger; Seldin, Jonathan P. 80 1972 The theory of semisets. Zbl 0332.02064Vopenka, Petr; Hajek, Petr 12 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 150 1971 Intuitionism. An introduction. 3rd revised ed. Zbl 0219.02013Heyting, A. 24 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 2 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.02002Curry, Haskell B. 2 1970 Constructible sets with applications. Zbl 0185.01401Mostowski, A. 8 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 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 2 1968 Non-standard analysis. Zbl 0151.00803Robinson, Abraham 253 1966 ...and 32 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 5,754 Authors 162 Shelah, Saharon 70 Stephan, Frank 50 Bazhenov, Nikolaĭ Alekseevich 46 Tachtsis, Eleftherios 41 Melnikov, Alexander G. 37 Downey, Rodney Graham 35 Dow, Alan S. 35 Keremedis, Kyriakos 32 Knight, Julia F. 31 Andréka, Hajnal 31 Jain, Sanjay 30 Montalbán, Antonio 29 Katz, Mikhail G. 28 Németi, István 28 Rathjen, Michael 27 Bridges, Douglas Suth 27 Kanovei, Vladimir G. 26 Finkel, Olivier 26 Kurilić, Miloš S. 26 Sayed Ahmed, Tarek 26 Todorcevic, Stevo B. 25 Harizanov, Valentina S. 25 Hirsch, Robin 25 Klop, Jan Willem 24 Galatos, Nikolaos 24 Hjorth, Gregory 24 Iemhoff, Rosalie 24 Ishihara, Hajime 24 Kechris, Alexander S. 23 Ng, KengMeng 22 Friedman, Sy-David 22 Hrušák, Michael 22 Terwijn, Sebastiaan A. 22 van Benthem, Johan F. A. K. 21 Goncharov, Sergeĭ Savost’yanovich 21 Hodkinson, Ian Martin 21 Jäger, Gerhard 20 Becker, Howard S. 20 Howard, Paul E. 20 Jacobs, Bart 20 Moraschini, Tommaso 19 Chajda, Ivan 19 Cintula, Petr 19 Dezani-Ciancaglini, Mariangiola 19 Džamonja, Mirna 19 Forrest, Jeffrey Yi-Lin 19 Ghilardi, Silvio 19 Jansana, Ramon 19 Malliaris, Maryanthe Elizabeth 18 Balbiani, Philippe 18 Baldwin, John T. 18 Nies, André Otfrid 18 Sanders, Sam 18 Selivanov, Viktor L’vovich 18 Vasey, Sebastien 17 Bezhanishvili, Nick 17 Metcalfe, George 17 Paoli, Francesco 16 Bezhanishvili, Guram 16 Case, John 16 Dal Lago, Ugo 16 Noguera, Carles 16 Pouzet, Maurice 16 Shore, Richard Arnold 16 Sorbi, Andrea 16 Visser, Albert 16 Vychodil, Vilém 16 Zakharyaschev, Michael Viktorovich 15 Blass, Andreas Raphael 15 Greenberg, Noam 15 Harrison-Trainor, Matthew 15 Jipsen, Peter 15 Kemoto, Nobuyuki 15 Koszmider, Piotr B. 15 Kowalski, Tomasz 15 Lecomte, Dominique 15 Rivieccio, Umberto 14 Cenzer, Douglas 14 Cornejo, Juan Manuel 14 Givant, Steven R. 14 Kamareddine, Fairouz D. 14 Kesner, Delia 14 Maddux, Roger D. 14 Makkai, Michael 14 Schuster, Peter Michael 14 van Bakel, Steffen 14 Venema, Yde 14 Wolter, Frank 13 Asperó, David 13 Baaz, Matthias 13 Bankston, Paul 13 Ciungu, Lavinia Corina 13 Endrullis, Jörg 13 Fernández, Maribel 13 Goldblatt, Robert Ian 13 Hrushovski, Ehud 13 Hyttinen, Tapani 13 Jin, Renling 13 Keisler, Howard Jerome 13 Ledda, Antonio ...and 5,654 more Authors all top 5 Cited in 475 Journals 689 Annals of Pure and Applied Logic 571 The Journal of Symbolic Logic 472 Theoretical Computer Science 314 Studia Logica 293 Archive for Mathematical Logic 236 Topology and its Applications 197 Proceedings of the American Mathematical Society 186 Transactions of the American Mathematical Society 164 Mathematical Logic Quarterly (MLQ) 150 Information and Computation 142 Algebra Universalis 137 Fuzzy Sets and Systems 137 Journal of Philosophical Logic 136 Israel Journal of Mathematics 132 Notre Dame Journal of Formal Logic 102 The Bulletin of Symbolic Logic 99 The Review of Symbolic Logic 93 MSCS. Mathematical Structures in Computer Science 89 Synthese 72 Journal of Pure and Applied Algebra 70 Algebra and Logic 67 Advances in Mathematics 66 Soft Computing 62 Journal of Algebra 57 Journal of Computer and System Sciences 57 Logica Universalis 54 Journal of Applied Non-Classical Logics 53 History and Philosophy of Logic 49 Order 46 Journal of Mathematical Logic 46 Logical Methods in Computer Science 44 Artificial Intelligence 44 Journal of Automated Reasoning 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 37 Indagationes Mathematicae. New Series 36 International Journal of Approximate Reasoning 34 Journal of Logic, Language and Information 33 Information Processing Letters 33 Siberian Mathematical Journal 33 Journal of Mathematical Sciences (New York) 33 Annals of Mathematics and Artificial Intelligence 32 Journal of Functional Programming 32 Journal of Logical and Algebraic Methods in Programming 26 Journal of Mathematical Analysis and Applications 26 Journal of Symbolic Computation 22 Communications in Algebra 22 Theory of Computing Systems 21 Foundations of Science 20 Fundamenta Mathematicae 19 Journal of Combinatorial Theory. Series A 18 Mathematica Slovaca 18 Topology Proceedings 17 Acta Informatica 17 Mathematische Annalen 17 Mathematische Zeitschrift 17 RAIRO. Theoretical Informatics and Applications 16 International Journal of General Systems 16 The Mathematical Intelligencer 16 Journal of Mathematical Economics 16 Semigroup Forum 16 Applied Categorical Structures 16 ACM Transactions on Computational Logic 15 Memoirs of the American Mathematical Society 14 Quaestiones Mathematicae 14 Journal of the American Mathematical Society 14 International Journal of Algebra and Computation 14 The Journal of Logic and Algebraic Programming 13 Discrete Applied Mathematics 13 Rendiconti del Seminario Matematico della Università di Padova 13 Acta Mathematica Hungarica 13 Formal Aspects of Computing 13 Historia Mathematica 13 RAIRO. Informatique Théorique et Applications 13 Central European Journal of Mathematics 13 Journal of Logic and Analysis 13 Computability 12 Journal of Mathematical Physics 12 Compositio Mathematica 12 Monatshefte für Mathematik 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 Bulletin of the Section of Logic 11 Theory and Applications of Categories 11 Erkenntnis 10 Applied Mathematics and Computation 10 Archiv der Mathematik 10 Journal of Soviet Mathematics 10 Mathematical Social Sciences 10 Journal of Complexity 10 Logic and Logical Philosophy 10 Sibirskie Èlektronnye Matematicheskie Izvestiya ...and 375 more Journals all top 5 Cited in 61 Fields 6,256 Mathematical logic and foundations (03-XX) 1,839 Computer science (68-XX) 821 Order, lattices, ordered algebraic structures (06-XX) 693 General topology (54-XX) 423 Category theory; homological algebra (18-XX) 286 General algebraic systems (08-XX) 286 Group theory and generalizations (20-XX) 269 Combinatorics (05-XX) 236 History and biography (01-XX) 185 Functional analysis (46-XX) 176 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 136 Real functions (26-XX) 129 Quantum theory (81-XX) 125 Field theory and polynomials (12-XX) 122 General and overarching topics; collections (00-XX) 121 Measure and integration (28-XX) 83 Probability theory and stochastic processes (60-XX) 79 Associative rings and algebras (16-XX) 69 Number theory (11-XX) 64 Commutative algebra (13-XX) 64 Topological groups, Lie groups (22-XX) 51 Geometry (51-XX) 44 Algebraic topology (55-XX) 43 Algebraic geometry (14-XX) 43 Systems theory; control (93-XX) 42 Dynamical systems and ergodic theory (37-XX) 38 Operator theory (47-XX) 30 Operations research, mathematical programming (90-XX) 26 Linear and multilinear algebra; matrix theory (15-XX) 25 Relativity and gravitational theory (83-XX) 22 Ordinary differential equations (34-XX) 22 Statistics (62-XX) 22 Information and communication theory, circuits (94-XX) 19 Manifolds and cell complexes (57-XX) 14 Abstract harmonic analysis (43-XX) 14 Differential geometry (53-XX) 13 Functions of a complex variable (30-XX) 13 Convex and discrete geometry (52-XX) 12 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) 7 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) 7 Mathematics education (97-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) 4 Fluid mechanics (76-XX) 3 Integral equations (45-XX) 2 \(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