27
.
Journal of Symbolic Logic,
14, 1949, 2-8.