The basic constructive logic for absolute consistency
- Méndez, J.M.
- Robles, G.
ISSN: 0925-8531, 1572-9583
Année de publication: 2009
Volumen: 18
Número: 2
Pages: 199-216
Type: Article
Revue:
Journal of Logic, Language and Information