Isomorphisms in a category of propositions and proofs

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