Analytic cut and interpolation in bi-intuitionistic logicTomasz Kowalski (La Trobe University)
May 29, 2015, 7:00am - 9:00am
Logic Group, The University of Melbourne
Room 532, Level 5, 757 Swanston Street
757 Swanston Street
Melbourne 3010
Australia
Topic areas
Details
(No details have been provided for this event.)
Registration
No
Who is attending?
1 person is attending:
Will you attend this event?