Prof. Dr. J. Diller - Institut für mathematische Logik, WWU Münster

• Prof. Dr. Justus Diller
  
  Institut für math. Logik und Grundlagenforschung
  Westfälische Wilhelms-Universität
  Einsteinstraße 62
  48149 Münster
  Tel.: xx49-(0)251-83-33 761
  Zimmer: 804
  Sprechstunde: Dienstag 11-12 Uhr
  
• Forschungsgebiete:
  • Intuitionismus
  • Funktionalinterpretationen
  • Lambda-Kalkül
• Veranstaltungen:
  Neben den jährlich stattfindenden Einführungsveranstaltungen werden in regelmäßigen Abständen Vorlesungen in den Bereichen Intuitionismus, Lambda-Kalkül, Funktionalinterpretation sowie Seminare zu diversen Themen der mathematischen Logik und theoretischen Informatik angeboten. (Ein Verzeichnis der aktuellen Veranstaltungen finden Sie hier.)