A Category of Classical Proofs
Greg Restall (University of Melbourne)

May 19, 2017, 8:30am - 10:00am

Logic Group, The University of Melbourne

G09
Old Quad
Parkville 3010
Australia

Organisers:

Shawn Standefer

University of Melbourne

Greg Restall (University of Melbourne) will present "A Category of Classical Proofs" at 12:30 on Friday, 19 March in Old Quad G09.

Is registration required? No

(unaffiliated)

Will you attend this event?