Project Details
Person
Professor Dr. Helmut Buchholz
Address
Ludwig-Maximilians-Universität München
Mathematisches Institut
Theresienstraße 39
80333 München
-
As Participating Researcher
-
Completed projects
-
GRK 301: Logic in Computer Science (Research Training Groups)
-
-
Completed projects
