Integrating intuitionistic and classical theories

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

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