The Basic Constructive Logic for Weak Consistency and the Reductio Axioms

Bulletin of the Section of Logic, Tom 38, Numer 1-2 (2009) s. 61-76
Gemma Robles, Jose M. Mendez

 

do góry