The logic B and the reductio axioms
- Robles, G.
- Mendez, J.M.
ISSN: 0138-0680
Ano de publicación: 2004
Volume: 33
Número: 2
Páxinas: 87-94
Tipo: Artigo
Revista:
Bulletin of the Section of Logic