The basic constructive logic for a weak sense of consistency
- Robles, G.
- Méndez, J.M.
ISSN: 0925-8531, 1572-9583
Any de publicació: 2008
Volum: 17
Número: 1
Pàgines: 89-107
Tipus: Article
ISSN: 0925-8531, 1572-9583
Any de publicació: 2008
Volum: 17
Número: 1
Pàgines: 89-107
Tipus: Article