Talk page

Title:
An Approach to the Formal Representation of Mathematical Propositions

Speaker:
Harvey Friedman

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

Workshop:
Fields- Semantic Representation of Mathematical Knowledge Workshop