Vol. 212 Scarpellini, Bruno Proof Theory and Intuitionistic SystemsQA9.54 S33 Artículo anterior: Vol. 0213 Anterior Artículo siguiente: Vol. 0211 Siguiente