Publisher
Springer Science and Business Media LLC
Reference64 articles.
1. Ackermann, Wilhelm, 1924/25: “Begründung des ‘tertium non datur’ mittels der Hilbertschen Theorie der Widerspruchsfreiheit”.Mathematische Annalen 93, 1–36.
2. Anellis, Irving H., 1993: “Joon Fang of Jaean—A Retrospective”.Modern Logic 3, 145–155.
3. Bell, John L., 1993a: “Hilbert's ɛ-Operator in Intuitionistic Type Theories”.Mathematical Logic Quarterly 39, 323–337.
4. —, 1993b: “Hilbert's ɛ-Operator and Classical Logic”.Journal of Philosophical Logic, 22, 1–18.
5. Bernays, Paul, 1930/31: “Die Philosophie der Mathematik und die Hilbertsche Beweistheorie”.Blätter für Deutsche Philosophie 4, 326–367.
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Bernays-Müller Debate;HOPOS: The Journal of the International Society for the History of Philosophy of Science;2023-09-01
2. Frontmatter;Die Schönheit des Denkens;2022-09-01
3. Dank;Die Schönheit des Denkens;2022-09-01
4. 4 Ausblick: Die Schönheit des Denkens;Die Schönheit des Denkens;2022-09-01
5. 3 Kein freier Wille, nirgends. Warum Entscheiden nicht Wählen ist;Die Schönheit des Denkens;2022-09-01