sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000114711821 | 1 hits
Person
ISNI: 
0000 0001 1471 1821
Name: 
Cole Kleene, Stephen
Kleene, S. C.
Kleene, Stephen
Kleene, Stephen C.
Kleene, Stephen Cole,
Klini, C. K.
Klini, S. K.
Klini, Stefen K.
S. C. Cole
Stephen Cole Kleene (American mathematician and theoretical computer scientist)
Stephen Cole Kleene (Amerikaans wiskundige)
Stephen Cole Kleene (amerikansk datavetare och matematiker)
Stephen Cole Kleene (amerikansk informatikar og matematikar)
Stephen Cole Kleene (amerikansk informatiker og matematiker)
Stephen Cole Kleene (mathématicien américain)
Stephen Cole Kleene (US-amerikanischer Mathematiker und Logiker)
Stephen Kleene
Stephen Kleene (matematico statunitense)
Στίβεν Κλέινι
Клини, Стефен К.
Клини, Стефен Коул
Клини, Стивен Коул (математик и логик США)
Стівен Коул Кліні
Ստիվեն Կոուլ Կլինի
استیفن کول کلین (ریاضی‌دان و دانشمند علوم کامپیوتر آمریکایی)
クリーネ
スティーヴン・コール・クリーネ
史蒂芬·科爾·克萊尼
斯蒂芬·科尔·克莱尼
Dates: 
1909-1994
Creation class: 
cre
Language material
Text
Creation role: 
author
contributor
Related names: 
Barwise, Jon
Church, Alonzo (1903-1995))
Kunen, Kenneth
Largeault, Jean (1931?-1995)
Largeault, Jean (co-author)
Ozawa, Ken'ichi (1942-)
Princeton, University
Uspenskij, Vladimir Andreevič (1930-....))
Vesley, R. E.
Vesley, Richard Eugene (1932-)
Wainer, S. S.
Wolters-Noordhoff
Кабаков, Ф. А
Кушнер, Борис Абрамович
小沢, 健一 (1942-)
Titles: 
Computability, enumerability, unsolvability : directions in recursion theory
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, The
Introduction to metamathematics
Kleene Symposium, The : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Logique mathématique
Matematičeskaâ logika
Mathematical logic
Osnovanija intuicionistskoj matematiki s točki zrenija teorii rekursivnych funkcij
Sūgakuteki ronrigaku.
theory of positive integers in formal logic, A
Two papers on the predicate calculus, 1952:
Vvedenie v metamatematiku
Введение в метаматематику, 1957:
Математическая логика
Основания интуиционистской математики : с точки зрения теории рекурсивных функций
数学的論理学.
Notes: 
Aus: The American journal of mathematics ; 57,1935,1-2
Princeton, University, Diss., 1933
Sources: 
VIAF DNB LC LNB NDL NKC NLI NLP NSK NUKAT SELIBR SUDOC WKD
BOWKER
NTA
TEL