Videos

Formalization Of Mathematics Summer School: Logic (Chapter 3 of MIL)

Presenter
June 6, 2023