JavaScript is disabled for your browser. Some features of this site may not work without it.
| Dateien: |
|
|
| Zitierfähiger Link (URI): |
http://hdl.handle.net/10900/129452
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1294527 http://dx.doi.org/10.15496/publikation-70815 http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-1294528 http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-1294526 |
| Dokumentart: | Verschiedenartige Ressourcen, nicht textgeprägt |
| Erscheinungsdatum: | 2016 |
| Sprache: | Englisch |
| Fakultät: | 7 Mathematisch-Naturwissenschaftliche Fakultät |
| Fachbereich: | Informatik |
| DDC-Klassifikation: |
004 - Informatik 100 - Philosophie |
| Schlagworte: | Logik , Beweistheorie |
| Freie Schlagwörter: |
Beweistheoretische Semantik Definition Dag Prawitz  General Proof TheoryProof-Theoretic Semantics Logic Definitional Reflection Dag Prawitz |
| Lizenz: | http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en |
| Gedruckte Kopie bestellen: |
Print-on-Demand
|
| Zur Langanzeige |