The basic constructive logic for weak consistency and the reductio axioms

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

ISSN: 0138-0680

Year of publication: 2009

Volume: 38

Issue: 1-2

Pages: 61-76

Type: Article

GOOGLE SCHOLAR
Data source: Scopus