El sistema Bp+una lógica positiva mínima para la negación mínima
ISSN: 0495-4548
Ano de publicación: 2007
Volume: 22
Número: 58
Páxinas: 81-92
Tipo: Artigo
ISSN: 0495-4548
Ano de publicación: 2007
Volume: 22
Número: 58
Páxinas: 81-92
Tipo: Artigo