ProjektHypothetical reasoning: Its proof-theoretic analysis

Grunddaten

Titel:
Hypothetical reasoning: Its proof-theoretic analysis
Beginn:
13.12.2011
URL:

Beteiligte Mitarbeiter/innen

Leiter/innen

Schroeder-Heister, Peter
Mathematisch-Naturwissenschaftliche Fakultät
Universität Tübingen
Wilhelm-Schickard-Institut für Informatik (WSI)
Fachbereich Informatik, Mathematisch-Naturwissenschaftliche Fakultät

Geldgeber

Deutsche Forschungsgemeinschaft e.V. (DFG)
Bonn, Nordrhein-Westfalen, Deutschland
Hilfe

wird permanent gelöscht. Dies kann nicht rückgängig gemacht werden.