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
Any de publicació: 2007
Volum: 22
Número: 58
Pàgines: 81-92
Tipus: Article
Revista:
Theoria: an international journal for theory, history and foundations of science
