Buscas alternativas:
type theory » the theory (Expandir a busca), state theory (Expandir a busca), cycle theory (Expandir a busca)
type theory » the theory (Expandir a busca), state theory (Expandir a busca), cycle theory (Expandir a busca)
1
2
Assuntos:
“...Type theory...”
Uma prova de incompletude da aritmética baseada no teorema das definições recursivas
Dissertação