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

Any de publicació: 2009

Volum: 38

Número: 1-2

Pàgines: 61-76

Tipus: Article

GOOGLE SCHOLAR
Font de les dades: Scopus