Nelson's Logic S
- Nascimento, T.
- Rivieccio, U.
- Marcos, J.
- Spinks, M.
ISSN: 1368-9894, 1367-0751
Année de publication: 2020
Volumen: 28
Número: 6
Pages: 1182-1206
Type: Article
ISSN: 1368-9894, 1367-0751
Année de publication: 2020
Volumen: 28
Número: 6
Pages: 1182-1206
Type: Article