A constructive negation for logics including TW+
ISSN: 1166-3081, 1958-5780
Argitalpen urtea: 2005
Alea: 15
Zenbakia: 4
Orrialdeak: 389-404
Mota: Artikulua
ISSN: 1166-3081, 1958-5780
Argitalpen urtea: 2005
Alea: 15
Zenbakia: 4
Orrialdeak: 389-404
Mota: Artikulua