Autor(en): | Schoeder-Heister, Peter | |
Tübinger Autor(en): |
|
|
Erschienen in: |
Dag Prawitz on Proofs and Meaning
(2015), Bd.
,
S. 329-358 |
|
Verlagsangabe: | Springer International Publishing | |
Sprache: | Englisch | |
Referenz zum Volltext: | http://dx.doi.org/10.1007/978-3-319-11041-7_15 | |
ISBN: | 978-3-319-11040-0 | |
DDC-Klassifikation: |
004 - Informatik 100 - Philosophie 510 - Mathematik |
|
Dokumentart: | Wissenschaftlicher Artikel | |
Zur Langanzeige |