El concepto intuicionista de prueba canónica
ISSN: 0211-6642
Ano de publicación: 1999
Volume: 18
Número: 2
Páxinas: 117-129
Tipo: Artigo
Outras publicacións en: Agora: Papeles de filosofía
ISSN: 0211-6642
Ano de publicación: 1999
Volume: 18
Número: 2
Páxinas: 117-129
Tipo: Artigo
Outras publicacións en: Agora: Papeles de filosofía