S. C. Kleene
发表
S. C. Kleene,
1936
.
Kurt Gödel,
S. C. Kleene,
J. B. Rosser,
1934
.
S. C. Kleene,
1980
.
S. C. Kleene,
S. Kleene,
1969
.
S. C. Kleene,
1936
.
S. C. Kleene,
1941
.
S. C. Kleene,
1939
.
S. C. Kleene,
1949
.
S. C. Kleene,
1958
.
S. C. Kleene,
W. Craig,
R. L. Vaught,
1952
.
S. C. Kleene,
1965
.
S. C. Kleene,
1965
.
S. C. Kleene,
1950
.
S. C. Kleene,
1955
.
Martin Davis,
S. C. Kleene,
Kurt Gödel,
1990
.
S. C. Kleene,
S. Kleene,
1966
.
S. C. Kleene,
S. Kleene,
M. Beeson,
1952
.
Rolf Herken,
Andrew Hodges,
John N. Crossley,
1991
.
S. C. Kleene,
1950
.
S. C. Kleene,
1979,
Algorithms in Modern Mathematics and Computer Science.
John W. Dawson,
Solomon Feferman,
S. C. Kleene,
1986
.
S. C. Kleene,
S. Kleene,
1952,
Journal of Symbolic Logic (JSL).
S. C. Kleene,
1991
.
S. C. Kleene,
S. Kleene,
1936
.
S. C. Kleene,
H. Kyburg,
S. Kleene,
1967
.
S. C. Kleene,
S. Kleene,
1956
.
S. C. Kleene,
S. Kleene,
1959
.
S. C. Kleene,
S. Kleene,
Compositio Mathematica,
1960
.
S. C. Kleene,
J. W. Addison,
S. Kleene,
1957
.
S. C. Kleene,
Richard Eugene Vesley,
S. Kleene,
1965
.
S. C. Kleene,
S. Kleene,
1958
.
John W. Dawson,
Solomon Feferman,
S. C. Kleene,
1987
.
Emil L. Post,
S. C. Kleene,
S. Kleene,
1954
.
S. C. Kleene,
H. P. Evans,
1939
.
Alonzo Church,
S. C. Kleene,
S. Kleene,
1937
.