Joost J. Joosten July 9, 2015 Joost J. Joosten Dept. Lògica, Història i Filosofia de la Ciència, Universitat de Barcelona external web page Joost J. Joosten has 1 talk in our database: July 13, 2015 Ordinal analysis via provability logics and ordinal spectra of arithmetical theories