[logic-ml] 10/25(金) Matthias Schirn 博士講演会 Hilbert and Wittgenstein on the Consistency of Mathematical Theories