UB München OPACplus
SolrQueryCompletionProxy
QueryCompletionProxy
Back to results

Topos semantics for higher-order modal logic

LMU University Library Online Catalogue (1/1)

Save in:
 


Topos semantics for higher-order modal logic

Author: Kotzsch, Hans-Christoph
Place, Publisher, Year: München, , 2016
Physical Details: 136 Seiten

  • Holdings
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=holding_tab
  • Get document
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
  • More title information
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
Author:Kotzsch, Hans-Christoph
Main title:Topos semantics for higher-order modal logic
Author statement:vorgelegt von Jans-Chrisotph Kotzsch
Place:München
Year:2016
Physical Details:136 Seiten
Thesis statement:Dissertation, Ludwig-Maximilians-Universität München, 2016
BV-Nummer:BV044208279