15/01/2021 - Anton Freund, "Ackermann, Goodstein, and infinite sets"
Channel: LogicGroup
Date: 2021-01-25

Torino-Udine Logic Seminar recorded on the 15th of January 2021.