The basic constructive logic for weak consistency and the reductio axioms

  1. Robles, G.
  2. Mendez, J.M.
Revista:
Bulletin of the Section of Logic

ISSN: 0138-0680

Ano de publicación: 2009

Volume: 38

Número: 1-2

Páxinas: 61-76

Tipo: Artigo

GOOGLE SCHOLAR
Fonte de datos: Scopus