Logo Logo
Help
Contact
Switch language to German
Topos semantics for higher-order modal logic
Topos semantics for higher-order modal logic
Not available
Modal Logic, Higher-Order Logic, Categorical Logic, Topos Theory
Kotzsch, Hans-Christoph
2016
English
Universitätsbibliothek der Ludwig-Maximilians-Universität München
Kotzsch, Hans-Christoph (2016): Topos semantics for higher-order modal logic. Dissertation, LMU München: Faculty of Philosophy, Philosophy of Science and the Study of Religion
[img]
Preview
PDF
Kotzsch_Hans-Christoph.pdf

830kB