| 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 |