Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000114711821 | 1 hits
Person
ISNI: 
0000 0001 1471 1821
Name: 
Kleene, S. C.
Kleene, Stephen
Kleene, Stephen C.
Kleene, Stephen Cole
Klini, S. K.
Klini, Stefen K.
S. C. Cole
Клини, Стефен К
Клини, Стефен Коул
クリーネ
Dates: 
1909-1994
Creation class: 
cre
Language material
Text
Creation role: 
author
contributor
Related names: 
Barwise, Jon
Church, Alonzo (1903-1995))
Gastev, Ûrij Alekseevič (1928- ))
Keisler, H. Jerome
Kleene Symposium (1978 : Madison, Wis.)
Kunen, Kenneth
Largeault, Jean (1931?-1995)
Ozawa, Ken'ichi (1942-)
Vesley, R. E.
Vesley, Richard Eugene (1932-)
Wolters-Noordhoff
Кушнер, Борис Абрамович
小沢, 健一 (1942-)
Titles: 
, by stephen cole kleene and richard eugene vesley|journal=bull. amer. math. soc.|year=1965|volume=71|issue=6|pages=850–852|url=http://www.ams.org/journals/bull/1965-71-06/s0002-9904-1965-11412-4/}}/ref*1967.
. [[claude shannon]] and [[john mccarthy (computer scientist)|john mccarthy]], eds.*1965 (with richard eugene vesley).
Computabilty
Extension of an effectively generated class of functions by enumeration
Formal definitions in the theory of ordinal numbers
Formalized recursive functionale and formalized realizability
Formalized recursive functionals and formalized realizability
foundations of intuitionistic mathematics, especially in relation to recursive functions, The
[http://books.google.com/books?id=hzajpwaacaaj&source=gbs_viewapi introduction to metamathematics.]
Introduction to mathematics
Introduction to metamathematics
john wiley. dover reprint, 2001. isbn 0-486-42533-9.*1981. "origins of recursive function theory" in
Kleene Symposium, The : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Logique mathématique
Matematičeskaâ logika
Matematičeskaja logika
Mathematical logic.
. north-holland.ref{{cite journal|author=bishop, errett|authorlink=errett bishop|title=review:
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
Vvedenije v metamatematiku
Введение в метаматематику, 1957:
Математическая логика
Основания интуиционистской математики : с точки зрения теории рекурсивных функций
数学的論理学.
Notes: 
Sources: 
VIAF BNF LC LNB NDL NKC NLI NLP NSK NTA NUKAT SELIBR SUDOC WKP
TEL