×

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

132 Publications have been cited 9,613 times in 8,262 Documents Cited by Year
Set theory. An introduction to independence proofs. Zbl 0443.03021
Kunen, Kenneth
731
1980
The lambda calculus. Its syntax and semantics. Rev. ed. Zbl 0551.03007
Barendregt, H. P.
524
1984
Residuated lattices. An algebraic glimpse at substructural logics. Zbl 1171.03001
Galatos, Nikolaos; Jipsen, Peter; Kowalski, Tomasz; Ono, Hiroakira
494
2007
Model theory. Zbl 0276.02032
Chang, C. C.; Keisler, H. J.
409
1973
Descriptive set theory. Zbl 0433.03025
Moschovakis, Yiannis N.
376
1980
Model theory. 3rd rev. ed. Zbl 0697.03022
Chang, C. C.; Keisler, H. J.
369
1990
An algebraic approach to non-classical logics. Zbl 0299.02069
Rasiowa, Helena
322
1974
Constructivism in mathematics. An introduction. Volume II. Zbl 0661.03047
Troelstra, A. S.; van Dalen, D.
294
1988
Computable structures and the hyperarithmetical hierarchy. Zbl 0960.03001
Ash, C. J.; Knight, J. F.
266
2000
Non-standard analysis. Zbl 0151.00803
Robinson, Abraham
255
1966
Constructivism in mathematics. An introduction. Volume I. Zbl 0653.03040
Troelstra, A. S.; van Dalen, D.
252
1988
Classical recursion theory. Vol. II. Zbl 0931.03057
Odifreddi, P. G.
250
1999
The axiom of choice. Zbl 0259.02051
Jech, Thomas J.
237
1973
Categorical logic and type theory. Zbl 0911.03001
Jacobs, Bart
195
1999
The lambda calculus, its syntax and semantics. Zbl 0467.03010
Barendregt, H. P.
192
1981
Classical recursion theory. The theory of functions and sets of natural numbers. Zbl 0661.03029
Odifreddi, Piergiorgio
185
1989
Many-dimensional modal logics: theory and applications. Zbl 1051.03001
Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
169
2003
Cylindric algebras. Part II. Zbl 0576.03043
Henkin, Leon; Monk, J. Donald; Tarski, Alfred
169
1985
Classification theory and the number of non-isomorphic models. Zbl 0388.03009
Shelah, S.
165
1978
Elementary induction on abstract structures. Zbl 0307.02003
Moschovakis, Yiannis N.
160
1974
Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers. Zbl 0222.02064
Keisler, H. Jerome
150
1971
Classification theory and the number of non-isomorphic models. 2nd rev. ed. Zbl 0713.03013
Shelah, Saharon
150
1990
Undecidable theories. Zbl 0053.00401
Tarski, 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.02034
Kuratowski, K.; Mostowski, A.
119
1976
Proof theory. 2nd ed. Zbl 0609.03019
Takeuti, Gaisi
114
1987
Intuitionism. An introduction. Zbl 0070.00801
Heyting, A.
111
1956
Combinatory logic. With two sections by William Craig. Zbl 0081.24104
Curry, Haskell B.; Feys, Robert
110
1958
Lectures on the Curry-Howard isomorphism. Zbl 1183.03004
Sørensen, Morten Heine; Urzyczyn, Paweł
108
2006
Set theory. An introduction to independence proofs. 2nd print. Zbl 0534.03026
Kunen, Kenneth
103
1983
Introduction to model theory and to the metamathematics of algebra. Zbl 0118.25302
Robinson, A.
102
1963
Admissibility of logical inference rules. Zbl 0872.03002
Rybakov, V. V.
100
1997
Combinatorial set theory: Partition relations for cardinals. Zbl 0573.03019
Erdős, Paul; Hajnal, András; Máté, Attila; Rado, Richard
95
1984
Proof theory. Zbl 0354.02027
Takeuti, Gaisi
92
1975
Relation algebras by games. Zbl 1018.03002
Hirsch, Robin; Hodkinson, Ian
91
2002
Set theory. An introduction to large cardinals. Zbl 0294.02034
Drake, Frank R.
88
1974
Theory of relations. Transl. from the French by P. Clote. Zbl 0593.04001
Fraïssé, R.
87
1986
Realizability. An introduction to its categorical side. Zbl 1225.03002
van Oosten, Jaap
86
2008
Topoi. The categorial analysis of logic. Zbl 0434.03050
Goldblatt, Robert
85
1979
Relation algebras. Zbl 1197.03051
Maddux, Roger D.
84
2006
Combinatory logic. Vol. II. Zbl 0242.02029
Curry, Haskell B.; Hindley, J. Roger; Seldin, Jonathan P.
80
1972
Solvable cases of the decision problem. Zbl 0056.24505
Ackermann, W.
76
1954
Tools and techniques in modal logic. Zbl 0927.03002
Kracht, M.
74
1999
Language in action. Categories, lambdas and dynamic logic. Zbl 0717.03001
van Benthem, Johan
65
1991
Complete theories. Zbl 0070.02701
Robinson, Abraham
61
1956
Rudiments of \(\mu\)-calculus. Zbl 0968.03002
Arnold, A.; Niwiński, D.
60
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.02071
Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Levy, Azriel
54
1973
Topoi. The categorial analysis of logic. Rev. ed. Zbl 0528.03039
Goldblatt, Robert
52
1984
The foundations of mathematics. A study in the philosophy of science. Zbl 0085.24104
Beth, Evert W.
49
1959
An essay in modal logic. Zbl 0043.00701
von Wright, Georg H.
48
1951
Foundations of infinitesimal stochastic analysis. Zbl 0624.60052
Stroyan, K. D.; Bayod, José Manuel
48
1986
Combinatorial set theory. Zbl 0362.04008
Williams, Neil H.
45
1977
Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer. Revised ed. Zbl 0965.03059
Fraïssé, Roland
40
2000
Large infinitary languages. Model theory. Zbl 0324.02010
Dickmann, M. A.
37
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
36
1986
Classical recursion theory. The theory of functions and sets of natural numbers. Paperback ed. Zbl 0744.03044
Odifreddi, Piergiorgio
34
1992
Equivalents of the axiom of choice. 2nd ed. Zbl 0582.03033
Rubin, Herman; Rubin, Jean E.
33
1985
Foundations of set theory. Zbl 0082.26203
Fraenkel, Abraham A.; Bar-Hillel, Yehoshua
30
1958
Quantification in nonclassical logic. Volume I. Zbl 1211.03002
Gabbay, Dov M.; Skvortsov, Dimitrij; Shehtman, Valentin
26
2009
On the metamathematics of algebra. Zbl 0043.24702
Robinson, Abraham
25
1951
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.
24
1971
Selected papers on AUTOMATH, dedicated to N. G. de Bruijn. Zbl 0822.03009
24
1994
Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus. Zbl 0077.01401
Goodstein, R. L.
22
1957
The logical systems of Lesniewski. Zbl 0111.00602
Luschei, E. C.
22
1962
Boole’s logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. Zbl 0352.02002
Hailperin, Theodore
22
1976
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.
21
1961
Handbook of computability theory. Zbl 0923.03001
21
1999
Abstract set theory. Zbl 0050.04903
Fraenkel, Abraham A.
20
1953
Algebra of proofs. Zbl 0532.03030
Szabo, M. E.
19
1978
Intensional mathematics. Zbl 0547.00010
19
1985
Proof theory. Zbl 0355.02023
Takeuti, Gaisi
17
1975
Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel. Zbl 0047.00903
Mostowski, Andrzej
16
1952
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
Handbook of recursive mathematics. Vol. 1: Recursive model theory. Zbl 0905.03001
14
1998
Harvey Friedman’s research on the foundations of mathematics. Zbl 0588.03001
13
1985
The theory of semisets. Zbl 0332.02064
Vopenka, Petr; Hajek, Petr
12
1972
Hausdorff gaps and limits. Zbl 0821.54001
Frankiewicz, Ryszard; Zbierski, Pawel
10
1994
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
9
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
9
1984
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
A transfinite type theory with type variables. Zbl 0132.24504
Andrews, P. B.
8
1965
Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968. Zbl 0195.01201
7
1970
Word problems. Decision problems and the Burnside problem in group theory. Zbl 0254.00004
7
1973
Logic in algebraic form. Three languages and theories. Zbl 0312.02049
Craig, William
7
1974
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
6
1965
Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957. Zbl 0086.00701
6
1959
Ancient formal logic. Zbl 0043.24513
Bocheński, I. M.
6
1951
Computer programming and formal systems. Zbl 0108.13402
5
1963
Computability, complexity, logic. Transl. from the German. Zbl 0669.68002
Börger, E.
5
1989
Logic colloquium ’78. Proceedings of the colloquium held in Mons, August 1978. Zbl 0423.00001
5
1979
Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics. Zbl 0905.03002
5
1998
A deductive theory of space and time. Zbl 0161.00208
Basri, S. A.
4
1966
Quantification in nonclassical logic. Volume I. Zbl 1211.03002
Gabbay, Dov M.; Skvortsov, Dimitrij; Shehtman, Valentin
26
2009
Realizability. An introduction to its categorical side. Zbl 1225.03002
van Oosten, Jaap
86
2008
Residuated lattices. An algebraic glimpse at substructural logics. Zbl 1171.03001
Galatos, Nikolaos; Jipsen, Peter; Kowalski, Tomasz; Ono, Hiroakira
494
2007
Lectures on the Curry-Howard isomorphism. Zbl 1183.03004
Sørensen, Morten Heine; Urzyczyn, Paweł
108
2006
Relation algebras. Zbl 1197.03051
Maddux, Roger D.
84
2006
Many-dimensional modal logics: theory and applications. Zbl 1051.03001
Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
169
2003
Relation algebras by games. Zbl 1018.03002
Hirsch, Robin; Hodkinson, Ian
91
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.
266
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
40
2000
Classical recursion theory. Vol. II. Zbl 0931.03057
Odifreddi, P. G.
250
1999
Categorical logic and type theory. Zbl 0911.03001
Jacobs, Bart
195
1999
Tools and techniques in modal logic. Zbl 0927.03002
Kracht, M.
74
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.03002
Rybakov, V. V.
100
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
24
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
34
1992
Language in action. Categories, lambdas and dynamic logic. Zbl 0717.03001
van Benthem, Johan
65
1991
Model theory. 3rd rev. ed. Zbl 0697.03022
Chang, C. C.; Keisler, H. J.
369
1990
Classification theory and the number of non-isomorphic models. 2nd rev. ed. Zbl 0713.03013
Shelah, Saharon
150
1990
Classical recursion theory. The theory of functions and sets of natural numbers. Zbl 0661.03029
Odifreddi, Piergiorgio
185
1989
Computability, complexity, logic. Transl. from the German. Zbl 0669.68002
Bö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.03047
Troelstra, A. S.; van Dalen, D.
294
1988
Constructivism in mathematics. An introduction. Volume I. Zbl 0653.03040
Troelstra, A. S.; van Dalen, D.
252
1988
Proof theory. 2nd ed. Zbl 0609.03019
Takeuti, Gaisi
114
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.
87
1986
Foundations of infinitesimal stochastic analysis. Zbl 0624.60052
Stroyan, K. D.; Bayod, José Manuel
48
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
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.03017
Robinson, Abraham
1
1986
Cylindric algebras. Part II. Zbl 0576.03043
Henkin, Leon; Monk, J. Donald; Tarski, Alfred
169
1985
Equivalents of the axiom of choice. 2nd ed. Zbl 0582.03033
Rubin, Herman; Rubin, Jean E.
33
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
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.03007
Barendregt, H. P.
524
1984
Combinatorial set theory: Partition relations for cardinals. Zbl 0573.03019
Erdős, Paul; Hajnal, András; Máté, Attila; Rado, Richard
95
1984
Topoi. The categorial analysis of logic. Rev. ed. Zbl 0528.03039
Goldblatt, Robert
52
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
9
1984
Set theory. An introduction to independence proofs. 2nd print. Zbl 0534.03026
Kunen, Kenneth
103
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
1
1982
The lambda calculus, its syntax and semantics. Zbl 0467.03010
Barendregt, H. P.
192
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
731
1980
Descriptive set theory. Zbl 0433.03025
Moschovakis, 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.03050
Goldblatt, Robert
85
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.
165
1978
Algebra of proofs. Zbl 0532.03030
Szabo, 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.04008
Williams, 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.02034
Kuratowski, K.; Mostowski, A.
119
1976
Boole’s logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. Zbl 0352.02002
Hailperin, Theodore
22
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.
37
1975
Proof theory. Zbl 0355.02023
Takeuti, 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.02069
Rasiowa, Helena
322
1974
Elementary induction on abstract structures. Zbl 0307.02003
Moschovakis, Yiannis N.
160
1974
Set theory. An introduction to large cardinals. Zbl 0294.02034
Drake, Frank R.
88
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.
409
1973
The axiom of choice. Zbl 0259.02051
Jech, Thomas J.
237
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
54
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.
80
1972
The theory of semisets. Zbl 0332.02064
Vopenka, 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.02064
Keisler, H. Jerome
150
1971
Intuitionism. An introduction. 3rd revised ed. Zbl 0219.02013
Heyting, 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.02002
Mal’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.02002
Curry, Haskell B.
2
1970
Constructible sets with applications. Zbl 0185.01401
Mostowski, 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.00803
Robinson, Abraham
255
1966
...and 32 more Documents
all top 5

Cited by 5,783 Authors

162 Shelah, Saharon
70 Stephan, Frank
50 Bazhenov, Nikolaĭ Alekseevich
47 Tachtsis, Eleftherios
42 Melnikov, Alexander G.
37 Downey, Rodney Graham
35 Dow, Alan S.
35 Keremedis, Kyriakos
33 Knight, Julia F.
31 Andréka, Hajnal
31 Jain, Sanjay
30 Katz, Mikhail G.
30 Montalbán, Antonio
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 Galatos, Nikolaos
25 Harizanov, Valentina S.
25 Hirsch, Robin
25 Klop, Jan Willem
24 Hjorth, Gregory
24 Iemhoff, Rosalie
24 Ishihara, Hajime
24 Kechris, Alexander S.
24 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 Balbiani, Philippe
19 Baldwin, John T.
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 Nies, André Otfrid
18 Paoli, Francesco
18 Sanders, Sam
18 Selivanov, Viktor L’vovich
18 Vasey, Sebastien
17 Bezhanishvili, Nick
17 Metcalfe, George
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 Cornejo, Juan Manuel
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 Givant, Steven R.
14 Kamareddine, Fairouz D.
14 Kesner, Delia
14 Ledda, Antonio
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
...and 5,683 more Authors
all top 5

Cited in 476 Journals

692 Annals of Pure and Applied Logic
574 The Journal of Symbolic Logic
472 Theoretical Computer Science
314 Studia Logica
296 Archive for Mathematical Logic
237 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
144 Algebra Universalis
138 Journal of Philosophical Logic
137 Fuzzy Sets and Systems
136 Israel Journal of Mathematics
132 Notre Dame Journal of Formal Logic
102 The Bulletin of Symbolic Logic
102 The Review of Symbolic Logic
99 Synthese
93 MSCS. Mathematical Structures in Computer Science
73 Journal of Pure and Applied Algebra
72 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
50 Order
49 Journal of Mathematical Logic
46 Logical Methods in Computer Science
45 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
38 International Journal of Approximate Reasoning
37 Indagationes Mathematicae. New Series
35 Journal of Logic, Language and Information
35 Journal of Mathematical Sciences (New York)
34 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
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
19 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 International Journal of Algebra and Computation
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 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 Logic and Logical Philosophy
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 Sibirskie Èlektronnye Matematicheskie Izvestiya
...and 376 more Journals
all top 5

Cited in 61 Fields

6,329 Mathematical logic and foundations (03-XX)
1,846 Computer science (68-XX)
828 Order, lattices, ordered algebraic structures (06-XX)
698 General topology (54-XX)
428 Category theory; homological algebra (18-XX)
291 General algebraic systems (08-XX)
289 Group theory and generalizations (20-XX)
273 Combinatorics (05-XX)
237 History and biography (01-XX)
186 Functional analysis (46-XX)
178 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
136 Real functions (26-XX)
128 Quantum theory (81-XX)
126 General and overarching topics; collections (00-XX)
125 Field theory and polynomials (12-XX)
124 Measure and integration (28-XX)
84 Probability theory and stochastic processes (60-XX)
79 Associative rings and algebras (16-XX)
69 Number theory (11-XX)
65 Commutative algebra (13-XX)
64 Topological groups, Lie groups (22-XX)
52 Geometry (51-XX)
45 Algebraic topology (55-XX)
43 Algebraic geometry (14-XX)
43 Dynamical systems and ergodic theory (37-XX)
43 Systems theory; control (93-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 Information and communication theory, circuits (94-XX)
21 Statistics (62-XX)
20 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