Leitgeb, Hannes
(2009):
On Formal and Informal Provability.
In: Linnebo, O. and Bueno, O. (eds.) :
New Waves in Philosophy of Mathematics. New waves in philosophy, New York: Palgrave Macmillan. pp. 263-299
Item Type: | Book Section |
---|---|
Faculties: | Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) > Logic |
Subjects: | 100 Philosophy and Psychology > 160 Logic |
ISBN: | 978-0-230-21942-7 ; 978-0-230-21943-4 |
Place of Publication: | New York |
Language: | English |
Item ID: | 49733 |
Date Deposited: | 06. Jun 2018, 07:29 |
Last Modified: | 15. Dec 2020, 09:38 |