bn:01893325n
Noun Concept
Categories: Construtivismo matemático, Intuicionismo
PT
Aritmética de Heyting
PT
Na lógica matemática, aritmética de Heyting é uma axiomatização de aritmética de acordo com a filosofia do intuicionismo. Wikipedia
Definitions
Relations
Sources
PT
Na lógica matemática, aritmética de Heyting é uma axiomatização de aritmética de acordo com a filosofia do intuicionismo. Wikipedia