The basic constructive logic for absolute consistency
ISSN: 0925-8531, 1572-9583
Année de publication: 2009
Volumen: 18
Número: 2
Pages: 199-216
Type: Article
ISSN: 0925-8531, 1572-9583
Année de publication: 2009
Volumen: 18
Número: 2
Pages: 199-216
Type: Article