Tübingen, Baden-Württemberg, Germany
Areas of Specialization
| Proof Theory |
| Science, Logic, and Mathematics |
| Cardinals and Ordinals |