Dr. Bruno Bentzen - I Colóquio NuLFa-NuLFiC de Lógica e Filosofia da Matemática
Channel: Núcleo de Lógica e Filosofia da Ciência (NuLFiC)
Date: 27/11/2020

Palestra: A teoria de tipos de Frege

I Colóquio NuLFa-NuLFiC de Lógica e Filosofia da Matemática