The basic constructive logic for a weak sense of consistency
- Robles, G.
- Méndez, J.M.
ISSN: 0925-8531, 1572-9583
Ano de publicación: 2008
Volume: 17
Número: 1
Páxinas: 89-107
Tipo: Artigo
ISSN: 0925-8531, 1572-9583
Ano de publicación: 2008
Volume: 17
Número: 1
Páxinas: 89-107
Tipo: Artigo