Fairouz Kamareddine

  1. Title:
    From Principia to Formalised versus Computerised Maths
    Speaker:
    Fairouz Kamareddine

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