A constructive negation for logics including TW+
- Robles, G.
- Méndez, J.M.
ISSN: 1166-3081, 1958-5780
Datum der Publikation: 2005
Ausgabe: 15
Nummer: 4
Seiten: 389-404
Art: Artikel
ISSN: 1166-3081, 1958-5780
Datum der Publikation: 2005
Ausgabe: 15
Nummer: 4
Seiten: 389-404
Art: Artikel