The following pages link to Stephen C. Kleene (Q1105575):
Displayed 50 items.
- Reflections on Church's thesis (Q1105577) (← links)
- (Q1840144) (redirect page) (← links)
- Proof by cases in formal logic (Q1840145) (← links)
- A postulational basis for probability. (Q2591777) (← links)
- On notation for ordinal numbers. (Q2598624) (← links)
- Formal definitions in the theory of ordinal numbers. (Q2601650) (← links)
- A note on recursive functions. (Q2605700) (← links)
- Constructions of formal definitions of functions of ordinal numbers. (Q2605731) (← links)
- A theory of positive integers in formal logic. I. (Q2611351) (← links)
- A theory of positive integers in formal logic. II. (Q2611352) (← links)
- The inconsistency of certain formal logics. (Q2611355) (← links)
- Proof by cases in formal logic. (Q2619867) (← links)
- The inconsistency of certain formal logics (Q2644945) (← links)
- General recursive functions of natural numbers (Q2645094) (← links)
- \(\lambda\)-definability and recursiveness (Q2645327) (← links)
- The upper semi-lattice of degrees of recursive unsolvability (Q2652167) (← links)
- (Q3214888) (← links)
- Arithmetical Predicates and Function Quantifiers (Q3226750) (← links)
- Hierarchies of number-theoretic predicates (Q3226751) (← links)
- On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper) (Q3228608) (← links)
- (Q3239288) (← links)
- A Note on Function Quantification (Q3252702) (← links)
- Extension of an effectively generated class of functions by enumeration (Q3256313) (← links)
- (Q3256314) (← links)
- Recursive Functionals and Quantifiers of Finite Types I (Q3260568) (← links)
- (Q3261419) (← links)
- (Q3281965) (← links)
- Lambda-definable functionals of finite types (Q3281966) (← links)
- (Q3679149) (← links)
- (Q3689176) (← links)
- (Q3706486) (← links)
- (Q3741612) (← links)
- (Q3748274) (← links)
- (Q3801538) (← links)
- (Q3845365) (← links)
- Disjunction and existence under implication in elementary intuitionistic formalisms (Q3851084) (← links)
- (Q3874195) (← links)
- (Q3900048) (← links)
- The theory of recursive functions, approaching its centennial (Q3946156) (← links)
- Recursive Functionals and Quantifiers of Finite Types Revisited, V (Q3978437) (← links)
- (Q3997000) (← links)
- The work of Kurt Gödel (Q4140948) (← links)
- An addendum to “The work of Kurt Gödel” (Q4184813) (← links)
- (Q4205405) (← links)
- A Theory of Positive Integers in Formal Logic. Part II (Q4759410) (← links)
- A Theory of Positive Integers in Formal Logic. Part I (Q4760396) (← links)
- Origins of Recursive Function Theory (Q4779210) (← links)
- (Q4805348) (← links)
- (Q5181653) (← links)
- (Q5331485) (← links)