G. Kreisel. Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 317–330.
Joan Rand Moschovakis · Journal of Symbolic Logic · 1967
G. Kreisel. Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 317–330. - Volume 32 Issue 2