×

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

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

Publications by Year

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 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