Amsterdam, North Holland, Netherlands
Areas of Specialization
| Proof Theory |
| Mathematical Logic |
| Formal Semantics |
| Logical Pluralism |