Print
A Lindström theorem for propositional intuitionistic logic
Room / venue details:
152
Address:
Old Arts, Parkville - 3010, Australia