| Kotzsch, Hans-Christoph (2016): Topos semantics for higher-order modal logic. Dissertation, LMU München: Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft |
Vorschau |
PDF
Kotzsch_Hans-Christoph.pdf 830kB |
DOI: 10.5282/edoc.20405
| Dokumententyp: | Dissertationen (Dissertation, LMU München) |
|---|---|
| Keywords: | Modal Logic, Higher-Order Logic, Categorical Logic, Topos Theory |
| Fakultäten: | Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft |
| Sprache der Hochschulschrift: | Englisch |
| Datum der mündlichen Prüfung: | 27. Juni 2016 |
| 1. Berichterstatter:in: | Leitgeb, Hannes |
| MD5 Prüfsumme der PDF-Datei: | 867de5930823ff54d40b2a3437d72d8c |
| Signatur der gedruckten Ausgabe: | 0001/UMC 24458 |
| ID Code: | 20405 |
| Eingestellt am: | 13. Feb. 2017 09:51 |
| Letzte Änderungen: | 23. Oct. 2020 13:20 |
Nur für Administratoren und Editoren: Dokument bearbeiten
