C. Spector
发表
Provably recursive functionals of analysis: a consistency proof of analysis by an extension of princ
C. Spector,
1962
.
C. Spector,
1956
.
Clifford Spector,
C. Spector,
1958,
Journal of Symbolic Logic.
Clifford Spector,
C. Spector,
1955,
Journal of Symbolic Logic.