ProjectHypothetical reasoning: Its proof-theoretic analysis
Involved staff
Managers
Faculty of Science
University of Tübingen
University of Tübingen
Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics, Faculty of Science
Department of Informatics, Faculty of Science
Funders
Bonn, Nordrhein-Westfalen, Germany