ProjectDoktorandenbetreuung – Betreuungskostenzuschuss im Rahmen des Stipendienprogramms Forschungsstipendien für…
Basic data
Acronym:
Doktorandenbetreuung
Title:
Betreuungskostenzuschuss im Rahmen des Stipendienprogramms Forschungsstipendien für Doktoranden und Nachwuchswissenschaftler
Duration:
01/04/2015 to 31/03/2016
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
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
Local organizational units
Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics
Faculty of Science
Faculty of Science
Funders
Bonn, Nordrhein-Westfalen, Germany