Edit this event

Analytic cut and interpolation in bi-intuitionistic logic
Tomasz 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

(No details have been provided for this event.)

Is registration required? No

University of Melbourne

Will you attend this event?