Project Doktorandenbetreuung – Verlängerung des Betreuungskostenzuschusses im Rahmen von Forschungsstipendien -…

Basic data

Acronym:
Doktorandenbetreuung
Title:
Verlängerung des Betreuungskostenzuschusses im Rahmen von Forschungsstipendien - Promotionen in Deutschland
Duration:
01/04/2016 to 31/03/2019
Abstract / short description:
Betreuung der Promotionen von zwei DAAD Stipendiaten zu den Themen "Über Identität und Semantik von Beweisen" und "Beweistheoretische Rechtfertigung von logischen Gesetzen".
Keywords:
Mathematische Logik
Sprachphilosophie
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

Bonn, Nordrhein-Westfalen, Germany
Help

will be deleted permanently. This cannot be undone.