Van Kampen diagrams and lengths of proofs in propositional logic Seminar
- Time:
- 14:00
- Date:
- 14 May 2014
- Venue:
- Building 54 room 5027 (5A)
Event details
Postgraduate Pure Seminar
TBA
Speaker information
Michal Ferov ,University of Southampton. Postgraduate research student