A constructive negation for logics including TW+
ISSN: 1166-3081, 1958-5780
Año de publicación: 2005
Volumen: 15
Número: 4
Páginas: 389-404
Tipo: Artículo
ISSN: 1166-3081, 1958-5780
Año de publicación: 2005
Volumen: 15
Número: 4
Páginas: 389-404
Tipo: Artículo