The Logic B and the Reductio Axioms

Bulletin of the Section of Logic, Tom 33, Numer 2 (2004) s. 87-94
Gemma Robles, Jose M. Mendez

 

do góry