Integrating intuitionistic and classical theories

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

E. López-Escobar Fundamenta Mathematicae 112 (1981), 125-140 DOI: 10.4064/fm-112-2-125-140