The basic constructive logic for a weak sense of consistency
- Robles, G.
- Méndez, J.M.
ISSN: 0925-8531, 1572-9583
Year of publication: 2008
Volume: 17
Issue: 1
Pages: 89-107
Type: Article
ISSN: 0925-8531, 1572-9583
Year of publication: 2008
Volume: 17
Issue: 1
Pages: 89-107
Type: Article