"Semantical Analysis of Intuitionistic Logic I", In "Formal Systems and Recursive Functions", edited by M. Dummett and J. N. Crossley.
«Semantical Analysis of Intuitionistic Logic I», In "Formal Systems and Recursive Functions", edited by M. Dummett and J. N. Crossley.