Talk page

Title:
From Principia to Formalised versus Computerised Maths

Speaker:
Fairouz Kamareddine

Link:
https://video-archive.fields.utoronto.ca/view/4682

Workshop:
Fields- Semantic Representation of Mathematical Knowledge Workshop