Please note that this newsitem has been archived, and may contain outdated information or links.
21 April 2021, Proof Theory Virtual Seminar, Greg Restall
Speaker: Greg Restall (Melbourne)
Title: Comparing Rules for Identity in Sequent Systems and Natural Deduction
Date: Wednesday 21 April 2021
Time: 11:00-12:00
Location: Online via Zoom
For more information, see
https://www.proofsociety.org/proof-theory-seminar/.
Please note that this newsitem has been archived, and may contain outdated information or links.