Project Hypothetical reasoning: Its proof-theoretic analysis

Basic data

Title:
Hypothetical reasoning: Its proof-theoretic analysis
Begin:
13/12/2011

Involved staff

Managers

Faculty of Science
University of Tübingen
Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics, Faculty of Science

Funders

Bonn, Nordrhein-Westfalen, Germany
Help

will be deleted permanently. This cannot be undone.