Uma visão geral dos pretopos Heyting apresentados finitamente e sua importância na lógica.
― 7 min ler
Ciência de ponta explicada de forma simples
Uma visão geral dos pretopos Heyting apresentados finitamente e sua importância na lógica.
― 7 min ler