Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
S. C. Kleene
Observed names:
S. C. KLEENE,
S. Kleene,
S.C. Kleene,
Stephen C. Kleene,
StephenC Kleene
Observed institutions:
University of Wisconsin System,
University of Wisconsin–Madison,
Princeton University
OpenAlex ID:
A5109923902
Representation of Events in Nerve Nets and Finite Automata
1956
·
S. C. Kleene
·
Princeton University Press eBooks
·
1,744
On notation for ordinal numbers
1938
·
S. C. Kleene
·
Journal of Symbolic Logic
·
770
General recursive functions of natural numbers
1936
·
S. C. Kleene
·
Mathematische Annalen
·
603
On the interpretation of intuitionistic number theory
1945
·
S. C. Kleene
·
Journal of Symbolic Logic
·
554
On undecidable propositions of formal mathematical systems
1934
·
Kurt Gödel
, S. C. Kleene
, et al.
·
390
Recursive Predicates and Quantifiers
1943
·
S. C. Kleene
·
Transactions of the American Mathematical Society
·
371
PDF
Recursive Functionals and Quantifiers of Finite Types I
1959
·
S. C. Kleene
·
Transactions of the American Mathematical Society
·
328
PDF
λ-definability and recursiveness
1936
·
S. C. Kleene
·
Duke Mathematical Journal
·
283
The Upper Semi-Lattice of Degrees of Recursive Unsolvability
1954
·
S. C. Kleene
, Emil L. Post
·
Annals of Mathematics
·
269
Hierarchies of number-theoretic predicates
1955
·
S. C. Kleene
·
Bulletin of the American Mathematical Society
·
169
PDF
Arithmetical Predicates and Function Quantifiers
1955
·
S. C. Kleene
·
Transactions of the American Mathematical Society
·
162
PDF
The Foundations of Intuitionistic Mathematics.
1967
·
H. E. Kyburg
, S. C. Kleene
, et al.
·
American Mathematical Monthly
·
150
A Theory of Positive Integers in Formal Logic. Part I
1935
·
S. C. Kleene
·
American Journal of Mathematics
·
144
On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
1955
·
S. C. Kleene
·
American Journal of Mathematics
·
127
Formal definitions in the theory of ordinal numbers
1937
·
Alonzo Church
, S. Kleene
·
Fundamenta Mathematicae
·
107
PDF
The Inconsistency of Certain Formal Logics
1935
·
S. C. Kleene
, J. B. Rosser
·
Annals of Mathematics
·
98
On the Forms of the Predicates in the Theory of Constructive Ordinals
1944
·
S. C. Kleene
·
American Journal of Mathematics
·
97
Disjunction and existence under implication in elementary intuitionistic formalisms
1962
·
S. C. Kleene
·
Journal of Symbolic Logic
·
85
A Theory of Positive Integers in Formal Logic. Part II
1935
·
S. C. Kleene
·
American Journal of Mathematics
·
85
A. M. Turing. Solvable and unsolvable problems. Science news (Penguin books, Melbourne–London–Baltimore), no. 31 (1954), pp. 7–23.
1955
·
S. C. Kleene
·
Journal of Symbolic Logic
·
81
Formalized recursive functionals and formalized realizability
1969
·
S. C. Kleene
·
Memoirs of the American Mathematical Society
·
76
Extension of an effectively generated class of functions by enumeration
1958
·
S. Kleene
·
Colloquium Mathematicum
·
67
Quantification of number-theoretic functions
1960
·
S. C. Kleene
·
French digital mathematics library (Numdam)
·
66
Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus
1952
·
S. C. Kleene
·
Memoirs of the American Mathematical Society
·
56
Realizability: A retrospective survey
1973
·
S. C. Kleene
·
Lecture notes in mathematics
·
53
Show more works
View as search
Works count:
86
Citation count:
7,536
H-index:
32
I10-index:
44
Year
Topic
Type
