Pietro Sabelli

Um guia claro sobre definições indutivas e coindutivas e sua importância.

Uma nova abordagem para os fundamentos da matemática focando em clareza e estrutura.