Substructural Logics: A Logical Glimpse at Residuated Lattices

Room / venue details: G09
Address: Old Quad, Parkville - 3010, Australia