The logic B and the reductio axioms
- Robles, G.
- Mendez, J.M.
ISSN: 0138-0680
Année de publication: 2004
Volumen: 33
Número: 2
Pages: 87-94
Type: Article
ISSN: 0138-0680
Année de publication: 2004
Volumen: 33
Número: 2
Pages: 87-94
Type: Article