Skip to main content

Michael Rathjen (University of Leeds)

Category
Logic Seminar
Date
Date
Wednesday 1 March 2023, 4.00 PM
Location
MALL

Completeness: Turing, Schütte, Feferman