Guest
Login
Sign Up
Site settings
Forgot Password?
Stanislav Speranski (Steklov Mathematical Institute), A Carnapian framework for reasoning about arbitrary natural numbers (joint work with Leon Horsten) / конференция “Формальная Философия 2023“,
Autoplay video
Hide player controls
Hide resume playing