Dateien: | ||
Zitierfähiger Link (URI): |
http://hdl.handle.net/10900/82209
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-822095 http://dx.doi.org/10.15496/publikation-23600 |
Dokumentart: | Verschiedenartige Ressourcen, nicht textgeprägt |
Erscheinungsdatum: | 2018 |
Sprache: | Englisch |
Fakultät: | 7 Mathematisch-Naturwissenschaftliche Fakultät |
Fachbereich: | Informatik |
DDC-Klassifikation: |
100 - Philosophie 510 - Mathematik |
Schlagworte: | Lebenslauf , Bibliografie , Logik , Beweis , Beweistheorie , Deduktion |
Freie Schlagwörter: |
Kategorientheorie Logische Konstanten Kosta Došen Logic Logical Constants Proof Proof Theory Categorial Logic Category Theory Deduction Proof-Theoretical Coherence |
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 |