@article{10_4064_fm_112_2_125_140,
     author = {E. L\'opez-Escobar},
     title = {Integrating intuitionistic and classical theories},
     journal = {Fundamenta Mathematicae},
     pages = {125--140},
     publisher = {mathdoc},
     volume = {112},
     number = {2},
     year = {1981},
     doi = {10.4064/fm-112-2-125-140},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-112-2-125-140/}
}