López-Escobar, E.. "Integrating intuitionistic and classical theories." Fundamenta Mathematicae 112.2 (1981): 125-140. <http://eudml.org/doc/211247>.
@article{López1981, author = {López-Escobar, E.}, journal = {Fundamenta Mathematicae}, keywords = {intuitionism; intuitionistic theory of species; omega-rules; Beth models; completeness; disjunction property; Heyting's arithmetic plus unary predicate variables}, language = {eng}, number = {2}, pages = {125-140}, title = {Integrating intuitionistic and classical theories}, url = {http://eudml.org/doc/211247}, volume = {112}, year = {1981}, }
TY - JOUR AU - López-Escobar, E. TI - Integrating intuitionistic and classical theories JO - Fundamenta Mathematicae PY - 1981 VL - 112 IS - 2 SP - 125 EP - 140 LA - eng KW - intuitionism; intuitionistic theory of species; omega-rules; Beth models; completeness; disjunction property; Heyting's arithmetic plus unary predicate variables UR - http://eudml.org/doc/211247 ER -