Funder
Fundação para a Ciência e a Tecnologia
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference49 articles.
1. Ackermann, W., Begründung des “tertium non datur” mittels der Hilbertschen Theorie der Widerspruchsfreiheit, Mathematische Annalen 93:1–36, 1925.
2. Azzouni, J., The derivation-indicator view of mathematical practice, Philosophia Mathematica 12(3):81–105, 2004.
3. Barwise, J., An introduction to first-order logic, in J. Barwise, (ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam, 1977, pp. 5–46.
4. Beklemishev, L., and A. Visser, Problems in the logic of provability, in D. Gabbay, S. Goncharov, and M. Zakharyaschev, (eds.), Mathematical Problems from Applied Logic I: Logics for the XXIst Century, vol. 4 of International Mathematical Series, Springer, Berlin, 2005, pp. 77–136.
5. Berk, L.A., Hilbert’s Thesis: Some Considerations about Formalizations of Mathematics, Ph.D. thesis, MIT, 1982. http://hdl.handle.net/1721.1/15650 .
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献