Dino Rossegger

Um estudo sobre como reconhecer padrões em estruturas matemáticas usando relações de equivalência.

Um resumo do teorema de Feferman e sua importância na lógica matemática.