E. G. K. López-Escobar. Equivalence Between Semantics for Intuitionism. I. Journal of Symbolic Logic, 46(4):773-780, 1981.
@article{Lopez-Escobar81a, title = {Equivalence Between Semantics for Intuitionism. I}, author = {E. G. K. López-Escobar}, year = {1981}, tags = {semantics, e-science}, researchr = {https://researchr.org/publication/Lopez-Escobar81a}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {46}, number = {4}, pages = {773-780}, }