Past events
-
A Lindström theorem for propositional intuitionistic logicLogic Group, The University of MelbourneFebruary 21, 2019
Brisbane, Queensland, Australia
Areas of Specialization
| Logic and Philosophy of Logic |
| Philosophy of Mathematics |
Areas of Interest
| Logic and Philosophy of Logic |
| Philosophy of Mathematics |