×

Ackermann, Wilhelm (b. 1896 d. 1962)

Author ID: ackermann.wilhelm Recent zbMATH articles by "Ackermann, Wilhelm"
Published as: Ackermann, W.; Ackermann, Wilhelm
External Links: MacTutor · MGP · Wikidata · dblp · GND · IdRef
Documents Indexed: 38 Publications since 1924, including 10 Books
3 Further Contributions
Biographic References: 3 Publications
Co-Authors: 1 Co-Author with 10 Joint Publications
8 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

20 Publications have been cited 281 times in 269 Documents Cited by Year
Solvable cases of the decision problem. Zbl 0056.24505
Ackermann, W.
83
1954
Begründung einer strengen Implikation. Zbl 0072.00106
Ackermann, Wilhelm
47
1956
Principles of mathematical logic. English translation by Lewis M. Hammond, George G. Leckie and F. Steinhardt. - Edited and with notes by Robert E. Luce. Zbl 0040.00402
Hilbert, David; Ackermann, W.
24
1950
Die Widerspruchsfreiheit der allgemeinen Mengenlehre. Zbl 0016.19501
Ackermann, Wilhelm
21
1937
Zur Axiomatik der Mengenlehre. Zbl 0070.04801
Ackermann, Wilhelm
21
1956
Untersuchungen über das Eliminationsproblem der mathematischen Logik. Zbl 0009.38601
Ackermann, Wilhelm
21
1934
Zur Widerspruchsfreiheit der Zahlentheorie. Zbl 0022.29202
Ackermann, Wilhelm
9
1940
Grundzüge der theoretischen Logik. 3. verbesserte Aufl. Zbl 0034.29002
Hilbert, David; Ackermann, W.
9
1949
Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse. Zbl 0042.05004
Ackermann, Wilhelm
9
1951
Beiträge zum Entscheidungsproblem der mathematischen Logik. Zbl 0013.24110
Ackermann, Wilhelm
8
1936
Widerspruchsfreier Aufbau der Logik. I. Typenfreies System ohne Tertium non datur. Zbl 0036.14703
Ackermann, Wilhelm
5
1950
Grundzüge der theoretischen Logik. 5. Aufl . Zbl 0158.00602
Hilbert, David; Ackermann, W.
5
1967
Grundzüge der theoretischen Logik. 2., verb. Aufl. Zbl 0018.19301
Hilbert, David; Ackermann, W.
4
1938
Widerspruchsfreier Aufbau einer typenfreien Logik. (Erweitertes System.) I, II. Zbl 0050.24501
Ackermann, Wilhelm
4
1953
Zum Eliminationsproblem der mathematischen Logik. Zbl 0011.00302
Ackermann, Wilhelm
4
1935
Beiträge zur Philosophie der Mathematik. Mit einführenden und ergänzenden Bemerkungen von Wilhelm Ackermann, Paul Bernays und David Hilbert. Zbl 0087.00712
Nelson, Leonard
2
1959
Über die Beziehung zwischen strikter und strenger Implikation. Zbl 0099.00505
Ackermann, Wilhelm
2
1958
Grundzüge der theoretischen Logik. 4. Aufl. Zbl 0088.00901
Hilbert, David; Ackermann, W.
2
1959
Grundzüge der theoretischen Logik. 6. Aufl. Zbl 0239.02001
Hilbert, D.; Ackermann, W.
2
1972
Mengentheoretische Begründung der Logik. Zbl 0017.24201
Ackermann, Wilhelm
1
1937
Grundzüge der theoretischen Logik. 6. Aufl. Zbl 0239.02001
Hilbert, D.; Ackermann, W.
2
1972
Grundzüge der theoretischen Logik. 5. Aufl . Zbl 0158.00602
Hilbert, David; Ackermann, W.
5
1967
Beiträge zur Philosophie der Mathematik. Mit einführenden und ergänzenden Bemerkungen von Wilhelm Ackermann, Paul Bernays und David Hilbert. Zbl 0087.00712
Nelson, Leonard
2
1959
Grundzüge der theoretischen Logik. 4. Aufl. Zbl 0088.00901
Hilbert, David; Ackermann, W.
2
1959
Über die Beziehung zwischen strikter und strenger Implikation. Zbl 0099.00505
Ackermann, Wilhelm
2
1958
Begründung einer strengen Implikation. Zbl 0072.00106
Ackermann, Wilhelm
47
1956
Zur Axiomatik der Mengenlehre. Zbl 0070.04801
Ackermann, Wilhelm
21
1956
Solvable cases of the decision problem. Zbl 0056.24505
Ackermann, W.
83
1954
Widerspruchsfreier Aufbau einer typenfreien Logik. (Erweitertes System.) I, II. Zbl 0050.24501
Ackermann, Wilhelm
4
1953
Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse. Zbl 0042.05004
Ackermann, Wilhelm
9
1951
Principles of mathematical logic. English translation by Lewis M. Hammond, George G. Leckie and F. Steinhardt. - Edited and with notes by Robert E. Luce. Zbl 0040.00402
Hilbert, David; Ackermann, W.
24
1950
Widerspruchsfreier Aufbau der Logik. I. Typenfreies System ohne Tertium non datur. Zbl 0036.14703
Ackermann, Wilhelm
5
1950
Grundzüge der theoretischen Logik. 3. verbesserte Aufl. Zbl 0034.29002
Hilbert, David; Ackermann, W.
9
1949
Zur Widerspruchsfreiheit der Zahlentheorie. Zbl 0022.29202
Ackermann, Wilhelm
9
1940
Grundzüge der theoretischen Logik. 2., verb. Aufl. Zbl 0018.19301
Hilbert, David; Ackermann, W.
4
1938
Die Widerspruchsfreiheit der allgemeinen Mengenlehre. Zbl 0016.19501
Ackermann, Wilhelm
21
1937
Mengentheoretische Begründung der Logik. Zbl 0017.24201
Ackermann, Wilhelm
1
1937
Beiträge zum Entscheidungsproblem der mathematischen Logik. Zbl 0013.24110
Ackermann, Wilhelm
8
1936
Zum Eliminationsproblem der mathematischen Logik. Zbl 0011.00302
Ackermann, Wilhelm
4
1935
Untersuchungen über das Eliminationsproblem der mathematischen Logik. Zbl 0009.38601
Ackermann, Wilhelm
21
1934
all top 5

Cited by 320 Authors

9 Szałas, Andrzej
6 Ackermann, Wilhelm
5 Méndez, José M.
4 Gabbay, Dov M.
4 Kalmar, Laszlo
4 Kotas, Jerzy
4 Meyer, Robert Kenneth
4 Robles, Gemma
4 Schütte, Kurt
4 Shramko, Yaroslav V.
3 Badban, Bahareh
3 Belnap, Nuel D. jun.
3 Bruttomesso, Roberto
3 Conradie, Willem
3 de Moura, Leonardo
3 Doherty, Patrick
3 Ehrlich, Philip
3 Goldfarb, Warren D.
3 Goranko, Valentin F.
3 Øgaard, Tore Fjetland
3 Strichman, Ofer
3 Urquhart, Alasdair
3 Zach, Richard
2 Abed, Sa’ed
2 Aït Mohamed, Otmane
2 Anderson, Alan Ross
2 Avron, Arnon
2 Badia, Guillermo
2 Barrett, Clark W.
2 Belikov, Aleksander Aleksandrovich
2 Bonacina, Maria Paola
2 Brady, Ross Thomas
2 Cimatti, Alessandro
2 de Rijke, Maarten
2 Dean, Walter
2 Estrada-González, Luis
2 Gurevich, Yuri
2 Hu, Alan J.
2 Kanamori, Akihiro
2 Lewis, Harry R.
2 Makowsky, Johann-Andreas
2 Maksimova, Larisa L’vovna
2 Mancosu, Paolo
2 Mokhtari, Yassine
2 Ohlbach, Hans Jürgen
2 Orłowska, Ewa S.
2 Pavičić, Mladen
2 Pieczkowski, August
2 Rodeh, Yoav
2 Rutishauser, Heinz
2 Smolka, Gert
2 Song, Xiaoyu
2 Suranyi, Janos
2 Tahar, Sofiène
2 Tennant, Neil W.
2 Tveretina, Olga
2 van de Pol, Jan Cornelis
2 Winkler, Sarah
2 Zaitsev, Dmitry V.
2 Zantema, Hans
1 Aanderaa, Stål Olav
1 Ackerman, Nathanael Leedom
1 Aiello, Marco
1 Akman, Varol
1 Alonso, Enrique
1 Alton, Donald A.
1 Anacona, Maribel
1 Anderson, Ross Alan
1 Andréka, Hajnal
1 Antonelli, Gian Aldo
1 Arboleda, Luis Carlos
1 Baaz, Matthias
1 Bagaria, Joan
1 Baldi, Michele Pra
1 Batens, Diderik
1 Benis-Sinaceur, Hourya
1 Bernays, Paul
1 Besnard, Loïc
1 Bezhanishvili, Guram
1 Béziau, Jean-Yves
1 Biela, Andrzej
1 Bimbó, Katalin
1 Biskup, Joachim
1 Bjørner, Nikolaj S.
1 Blass, Andreas Raphael
1 Bledsoe, Woodrow W.
1 Bloch, Isabelle
1 Bloom, Stephen L.
1 Bofill, Miquel
1 Böhm, Corrado
1 Bonatti, Piero Andrea
1 Bozzano, Marco
1 Bredikhin, Dmitriĭ Aleksandrovich
1 Brink, Chris
1 Bronsard, Francois
1 Brown, Kenneth R.
1 Bryant, Randal E.
1 Buchi, J. Richard
1 Burris, Stanley N.
1 Caferra, Ricardo
...and 220 more Authors
all top 5

Cited in 62 Serials

33 The Journal of Symbolic Logic
24 Studia Logica
11 Synthese
11 The Bulletin of Symbolic Logic
9 Mathematische Annalen
9 The Review of Symbolic Logic
8 Archiv für Mathematische Logik und Grundlagenforschung
8 Theoretical Computer Science
8 Annals of Pure and Applied Logic
7 Journal of Philosophical Logic
7 Journal of Applied Non-Classical Logics
6 Information and Computation
5 Notre Dame Journal of Formal Logic
5 Journal of Symbolic Computation
4 Journal of Automated Reasoning
3 Acta Mathematica Academiae Scientiarum Hungaricae
3 Algebra and Logic
3 Algebra Universalis
3 Journal of Computer and System Sciences
3 History and Philosophy of Logic
3 Archive for Mathematical Logic
3 Annals of Mathematics and Artificial Intelligence
2 Artificial Intelligence
2 Computers & Mathematics with Applications
2 Information Processing Letters
2 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)
2 ZAMP. Zeitschrift für angewandte Mathematik und Physik
2 Bulletin of the Section of Logic
2 Logica Universalis
1 Acta Informatica
1 International Journal of General Systems
1 International Journal of Theoretical Physics
1 Annali di Matematica Pura ed Applicata. Serie Quarta
1 Bulletin de la Société Mathématique de France
1 Fuzzy Sets and Systems
1 Journal of Soviet Mathematics
1 Kybernetes
1 Mathematische Zeitschrift
1 Nagoya Mathematical Journal
1 Proceedings of the American Mathematical Society
1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste
1 Tôhoku Mathematical Journal. Second Series
1 Transactions of the American Mathematical Society
1 Journal of Computer Science and Technology
1 International Journal of Parallel Programming
1 Journal of the American Mathematical Society
1 Japan Journal of Industrial and Applied Mathematics
1 Artificial Intelligence Review
1 Aequationes Mathematicae
1 Formal Methods in System Design
1 Journal of Logic, Language and Information
1 Journal of Mathematical Sciences (New York)
1 Mathematical Logic Quarterly (MLQ)
1 Constraints
1 Annals of Mathematics. Second Series
1 Logic and Logical Philosophy
1 Journal of Applied Logic
1 Bulletin of the American Mathematical Society
1 Advances in Mathematical Physics
1 Frontiers of Computer Science
1 Logicheskie Issledovaniya
1 Journal of Applied and Computational Topology

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.