Denis Hirschfeldt – Reductions between problems in reverse mathematics and computability theory Скачать
Paola D'Auquino – Algebraic Constructions In Models Of Peano Arithmetic And Its Weak Fragments Скачать
Paolo Mancosu – The company you keep: Some recent results on neo-logicism and abstraction principles Скачать
Lenore Blum – What Can Theoretical Computer Science Contribute to the Discussion of Consciousness? Скачать
Sara Negri – Unveiling the constructive core of classical theories: ..90 years of Glivenko’s theorem Скачать
Luca Tranchini – Proof-theoretic Harmony: intensional aspects from a second-order perspective Скачать