The basic constructive logic for absolute consistency
- Méndez, J.M.
- Robles, G.
ISSN: 0925-8531, 1572-9583
Ano de publicación: 2009
Volume: 18
Número: 2
Páxinas: 199-216
Tipo: Artigo
Revista:
Journal of Logic, Language and Information