Artigos mais recentes para Foundational Mathematics

Um olhar sobre as complexidades da aritmética de segunda ordem e suas implicações.