Print

A Lindström theorem for propositional intuitionistic logic

Room / venue details: 152
Address: Old Arts, Parkville - 3010, Australia