The basic constructive logic for a weak sense of consistency
- Robles, G.
- Méndez, J.M.
ISSN: 0925-8531, 1572-9583
Année de publication: 2008
Volumen: 17
Número: 1
Pages: 89-107
Type: Article
Revue:
Journal of Logic, Language and Information