Publisher
Springer International Publishing
Reference6 articles.
1. Bernays, P. (1930–1931). Die Philosophie der Mathematik und die Hilbertische Beweistheorie. Blätter für deutsche Philosophie, 4, 326–367.
2. Burgess, J. P. (2005). Fixing frege. Princeton NJ: Princeton University Press.
3. Curry, H. B. (1941). A formalization of recursive arithmetic. American Journal of Mathematics, 63, 263–282.
4. Gödel, K. (1990). Collected works (Vol. 2). New York: Oxford University Press.
5. Hilbert, D. (1922). Neubegründung der Mathematik. Abhandlungen aus dem Mathematischen Seminar der Hamburgischen Universität, 1, 157–177.