Teorema deTeorema deMarker-SteinhornExplicadomatemática.Um olhar crítico sobre tipos na lógicaLógicaEntendendo o Teorema de Marker-SteinhornAnalisando a importância do Teorema de Marker-Steinhorn na lógica matemática.2025-10-21T13:30:34+00:00 ― 5 min ler