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