×
Author ID: beth.evert-willem Recent zbMATH articles by "Beth, Evert Willem"
Published as: Beth, E. W.; Beth, Evert W.; Beth, E.; Beth, Evert Willem; Beth, E.-W.
External Links: MGP · Wikidata · GND · IdRef
Documents Indexed: 75 Publications since 1934, including 21 Books
3 Further Contributions
Biographic References: 6 Publications
Co-Authors: 3 Co-Authors with 3 Joint Publications
31 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

24 Publications have been cited 199 times in 182 Documents Cited by Year
The foundations of mathematics. A study in the philosophy of science. Zbl 0085.24104
Beth, Evert W.
62
1959
On Padoa’s method in the theory of definition. Zbl 0053.34402
Beth, E. W.
60
1953
Mathematical thought. An introduction to the philosophy of mathematics. Zbl 0154.00203
Beth, E. W.
17
1965
The philosophy of mathematics. Reprints. Zbl 0181.29501
Hintikka, J.
14
1969
Semantic construction of intuitionistic logic. Zbl 0073.24903
Beth, E. W.
13
1956
Automation of reasoning. 1: Classical papers on computational logic 1957–1966. Zbl 0567.03001
13
1983
Mathematical epistemology and psychology. Zbl 0165.30104
Beth, E. W.; Piaget, J.
8
1966
Formal methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic. Zbl 0105.24503
Beth, Evert W.
7
1962
Towards an up-to-date philosophy of the natural sciences. Zbl 0034.28904
Beth, E. W.
5
1949
A topological proof of the theorem of Löwenheim-Skolem-Gödel. Zbl 0044.00205
Beth, E. W.
5
1951
Semantical considerations on intuitionistic mathematics. Zbl 0035.14814
Beth, E. W.
3
1947
On machines which prove theorems. Zbl 0084.25001
Beth, E. W.
2
1958
Hundred years of symbolic logic. A retrospect on the occasion of the Boole De Morgan centenary. Zbl 0032.24304
Beth, Evert W.
2
1947
Les fondements logiques des mathématiques. Zbl 0040.29010
Beth, E. W.
2
1950
Some consequences of the theorem of Löwenheim-Skolem-Gödel-Malcev. Zbl 0051.00601
Beth, E. W.
2
1953
Remarks on intuitionistic logic. Zbl 0091.00904
Beth, E. W.
2
1959
Aspects of modern logic. Zbl 0209.00602
Beth, E. W.
2
1970
Axiomatique de la théorie des ensembles sans axiome de l’infini. Zbl 0151.01001
Beth, E. W.
1
1964
Exakt-wissenschaftliche Philosophie in den Niederlanden. Zbl 0029.09701
Beth, E. W.
1
1947
Remarks on natural deduction. Zbl 0067.25102
Beth, E. W.
1
1955
Equilaterality as the only primitive notion of Euclidean geometry. Zbl 0072.15503
Beth, Evert W.; Tarski, Alfred
1
1956
La crise de la raison et la logique. Zbl 0077.00909
Beth, E. W.
1
1957
Completeness results for formal systems. Zbl 0119.25104
Beth, E. W.
1
1960
Semantic construction of Lewis’s systems S4 and S5. Zbl 0156.00705
Beth, E. W.; Nieland, J. J. F.
1
1965
Automation of reasoning. 1: Classical papers on computational logic 1957–1966. Zbl 0567.03001
13
1983
Aspects of modern logic. Zbl 0209.00602
Beth, E. W.
2
1970
The philosophy of mathematics. Reprints. Zbl 0181.29501
Hintikka, J.
14
1969
Mathematical epistemology and psychology. Zbl 0165.30104
Beth, E. W.; Piaget, J.
8
1966
Mathematical thought. An introduction to the philosophy of mathematics. Zbl 0154.00203
Beth, E. W.
17
1965
Semantic construction of Lewis’s systems S4 and S5. Zbl 0156.00705
Beth, E. W.; Nieland, J. J. F.
1
1965
Axiomatique de la théorie des ensembles sans axiome de l’infini. Zbl 0151.01001
Beth, E. W.
1
1964
Formal methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic. Zbl 0105.24503
Beth, Evert W.
7
1962
Completeness results for formal systems. Zbl 0119.25104
Beth, E. W.
1
1960
The foundations of mathematics. A study in the philosophy of science. Zbl 0085.24104
Beth, Evert W.
62
1959
Remarks on intuitionistic logic. Zbl 0091.00904
Beth, E. W.
2
1959
On machines which prove theorems. Zbl 0084.25001
Beth, E. W.
2
1958
La crise de la raison et la logique. Zbl 0077.00909
Beth, E. W.
1
1957
Semantic construction of intuitionistic logic. Zbl 0073.24903
Beth, E. W.
13
1956
Equilaterality as the only primitive notion of Euclidean geometry. Zbl 0072.15503
Beth, Evert W.; Tarski, Alfred
1
1956
Remarks on natural deduction. Zbl 0067.25102
Beth, E. W.
1
1955
On Padoa’s method in the theory of definition. Zbl 0053.34402
Beth, E. W.
60
1953
Some consequences of the theorem of Löwenheim-Skolem-Gödel-Malcev. Zbl 0051.00601
Beth, E. W.
2
1953
A topological proof of the theorem of Löwenheim-Skolem-Gödel. Zbl 0044.00205
Beth, E. W.
5
1951
Les fondements logiques des mathématiques. Zbl 0040.29010
Beth, E. W.
2
1950
Towards an up-to-date philosophy of the natural sciences. Zbl 0034.28904
Beth, E. W.
5
1949
Semantical considerations on intuitionistic mathematics. Zbl 0035.14814
Beth, E. W.
3
1947
Hundred years of symbolic logic. A retrospect on the occasion of the Boole De Morgan centenary. Zbl 0032.24304
Beth, Evert W.
2
1947
Exakt-wissenschaftliche Philosophie in den Niederlanden. Zbl 0029.09701
Beth, E. W.
1
1947
all top 5

Cited by 223 Authors

13 Maksimova, Larisa L’vovna
3 Konikowska, Beata
3 Kreitz, Christoph
3 Marquis, Pierre
3 Moraschini, Tommaso
3 van Benthem, Johan F. A. K.
2 Anellis, Irving Henry
2 Bezhanishvili, Guram
2 Coquand, Thierry
2 Corcoran, John
2 de Jong, Willem R.
2 Delahaye, David
2 Diaconescu, Răzvan
2 Drago, Antonino
2 Gavilanes-Franco, Antonio
2 Hodges, Wilfrid
2 Krabbe, Erik C. W.
2 Kramosil, Ivan
2 Kuznets, Roman
2 Lagniez, Jean-Marie
2 Letz, Reinhold
2 Lipton, James B.
2 Lucio-Carrasco, Francisca
2 Makkai, Michael
2 Marchisotto, Elena Anne Corie
2 Martins Ferreira, Francicleber
2 Martins, Ana Teresa
2 O’Donnell, Michael J.
2 Pratt, Vaughan R.
2 Raftery, James G.
2 Sant’Anna, Adonai S.
2 Schmitt, Stephan
2 Thomason, Richmond H.
2 Tucker, Dustin
2 Wannenburg, Johann J.
2 Woleński, Jan
1 Abeles, Francine F.
1 Adams, Ernest Wilcox
1 Akiba, Ken
1 Alonso, Enrique
1 Amati, Gianni
1 Andréka, Hajnal
1 Antonelli, Gian Aldo
1 Baaz, Matthias
1 Baltag, Alexandru
1 Bárány, Vince
1 Barbanera, Franco
1 Bárcenas, Everardo
1 Barrett, Thomas William
1 Bart, William M.
1 Belnap, Nuel D. jun.
1 Benedikt, Michael A.
1 Betti, Arianna
1 Bickford, Mark
1 Bingham, Nicholas Hugh
1 Bonevac, Daniel
1 Bouziane, Hinde Lilia
1 Buchi, J. Richard
1 Bueno, Otávio
1 Burel, Guillaume
1 Bury, Guillaume
1 Cailler, Julie
1 Calabrese, Philip G.
1 Campbell, Paul J.
1 Carlucci Aiello, Luigia
1 Cauderlier, Raphaël
1 Cavagnetto, Stefano
1 Cecioni, Francesco
1 Cegielski, Patrick
1 Chang, Chen-Chung
1 Chao, Fei
1 Ciardelli, Ivano A.
1 Coffa, José Alberto
1 Comer, Stephen Daniel
1 Constable, Robert Lee
1 Crubellier, Michel
1 Czelakowski, Janusz
1 D’Agostino, Marcello
1 Daigneault, Aubert
1 D’Ambrosio, Justin
1 Danhof, Kenneth J.
1 de Castro, Milton Augustinis
1 de Jesús Lavalle Martínez, José
1 Dean, Walter
1 Dezani-Ciancaglini, Mariangiola
1 Dieks, Dennis
1 Dipert, Randall Roy
1 D’Ottaviano, Itala M. Loffredo
1 Doyle, Jon
1 Düntsch, Ivo
1 Dutkiewicz, Rafał
1 Dyckhoff, Roy
1 Dzik, Wojciech
1 Entemann, Carl W.
1 Espíndola, Christian
1 Fagot, Robert F.
1 Feferman, Solomon
1 Fermüller, Christian G.
1 Fine, Kit
1 Franconi, Enrico
...and 123 more Authors
all top 5

Cited in 55 Serials

18 Studia Logica
18 Synthese
11 Logica Universalis
8 Theoretical Computer Science
8 Annals of Pure and Applied Logic
7 Journal of Philosophical Logic
5 Artificial Intelligence
5 Siberian Mathematical Journal
5 History and Philosophy of Logic
5 The Review of Symbolic Logic
4 Journal of Automated Reasoning
3 Algebra and Logic
3 Algebra Universalis
3 Notre Dame Journal of Formal Logic
3 Journal of Applied Non-Classical Logics
2 Journal of Mathematical Psychology
2 Historia Mathematica
2 Indagationes Mathematicae. New Series
2 Annals of Mathematics and Artificial Intelligence
2 Erkenntnis
2 Bulletin of the American Mathematical Society
2 Nôus
1 Acta Mathematica Academiae Scientiarum Hungaricae
1 Archive for History of Exact Sciences
1 Archiv für Mathematische Logik und Grundlagenforschung
1 International Journal of General Systems
1 International Journal of Theoretical Physics
1 Information Processing Letters
1 Israel Journal of Mathematics
1 Rheologica Acta
1 Annali di Matematica Pura ed Applicata. Serie Quarta
1 Fuzzy Sets and Systems
1 Geometriae Dedicata
1 Information Sciences
1 Journal of Algebra
1 Journal of Combinatorial Theory. Series B
1 Journal of Computer and System Sciences
1 The Journal of Mathematical Sociology
1 The Journal of Symbolic Logic
1 Kybernetika
1 Mathematische Annalen
1 Rendiconti del Seminario Matematico della Università di Padova
1 Results in Mathematics
1 Transactions of the American Mathematical Society
1 Information and Computation
1 International Journal of Approximate Reasoning
1 Mathematical Structures in Computer Science
1 Archive for Mathematical Logic
1 Journal of Logic, Language and Information
1 Journal of Mathematical Sciences (New York)
1 Doklady Mathematics
1 Brazilian Journal of Probability and Statistics
1 Proceedings of the Steklov Institute of Mathematics
1 European Journal of Mathematics
1 Logicheskie Issledovaniya

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.