El sistema Bp+una lógica positiva mínima para la negación mínima
- Méndez Rodríguez, José Manuel
- Salto Alemany, Francisco
- Robles Vázquez, Gemma
ISSN: 0495-4548
Año de publicación: 2007
Volumen: 22
Número: 58
Páginas: 81-92
Tipo: Artículo
Revista:
Theoria: an international journal for theory, history and foundations of science
