Kleene, Stephen Cole, 1909-1994.
Kleene, Stephen Cole, 1909-
Kleene, Stephen Cole
Stephen Cole Kleene American mathematician and theoretical computer scientist
VIAF ID: 41901318 ( Personal )
Permalink: http://viaf.org/viaf/41901318
Preferred Forms
-
-
-
- 100 1 _ ‡a Kleene, Stephen Cole
-
-
-
-
- 100 1 _ ‡a Kleene, Stephen Cole ‡d 1909-
- 100 1 _ ‡a Kleene, Stephen Cole ‡d 1909-1994
-
-
- 100 1 _ ‡a Kleene, Stephen Cole, ‡d 1909-1994
-
-
- 100 1 _ ‡a Kleene, Stephen Cole, ‡d 1909-1994
- 100 1 _ ‡a Kleene, Stephen Cole, ‡d 1909-1994
-
- 100 1 _ ‡a Kleene, Stephen Cole, ‡d 1909-1994
-
- 100 0 _ ‡a Stephen Cole Kleene ‡c American mathematician and theoretical computer scientist
4xx's: Alternate Name Forms (58)
5xx's: Related Names (2)
- 551 _ _ ‡a Hartford, Conn.
- 551 _ _ ‡a Madison, Wis.
Works
Title | Sources |
---|---|
Computabilty | |
Extension of an effectively generated class of functions by enumeration | |
Formal definitions in the theory of ordinal numbers | |
Formalized recursive functionals and formalized realizability | |
Foundations of intuitionistic mathematics especially in relation to recursive functions | |
General recursive functions of natural numbers | |
Introduction to metamathematics | |
Introduction to metamathematics, by Stephen Cole Kleene | |
Kleene logic and inference | |
The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. | |
Matematičeskaja logika | |
Mathematical logic | |
n79106427 | |
Osnovaniâ intuicionistskoj matematiki : s točki zreniâ teorii rekursivnyh funkcij | |
Recursive predicates and quantifiers | |
Sugakuteki ronrigaku. | |
A theory of positive integers in formal logic | |
Two papers on the predicate calculus | |
Vvedenie v metamatematiku | |
Введение в метаматематику, 1957: | |
Математическая логика | |
Основания интуиционистской математики : с точки зрения теории рекурсивных функций | |
数学的論理学 |