Project Induktive Definitionen in Logikkalkülen

Basic data

Title:
Induktive Definitionen in Logikkalkülen
Begin:
08/05/2009
Keywords:
induktive Definitionen
logic
Logik
proof theory
Beweistheorie

Staff

Managers

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

Local organizational units

Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics
Faculty of Science

Funders

Stuttgart, Baden-Württemberg, Germany
Help

will be deleted permanently. This cannot be undone.