Concepedia

S. C. Kleene

SC

Statistics

Publications

3

Citations

644

H-Index

3

Active since

1945

Affiliations

University of Wisconsin–Madison(Current)

S. C. Kleene is an author at University of Wisconsin–Madison specializing in humanities, mathematics, and predicate logic.

Publications per year

1945–1963

3

Publications

3

On the interpretation of intuitionistic number theory

S. C. Kleene · Journal of Symbolic Logic · 1945 · 540 citations

, , +8

Disjunction and existence under implication in elementary intuitionistic formalisms

S. C. Kleene · Journal of Symbolic Logic · 1962 · 83 citations

, , +7

Recursive Functionals and Quantifiers of Finite Types II

S. C. Kleene · Transactions of the American Mathematical Society · 1963 · 21 citations

, , +12

1–3 of 3