VIAF

Virtual International Authority File

Search

Kleene, Stephen Cole, 1909-1994 National Library of the Czech Republic Library of Congress/NACO German National Library Sudoc [ABES], France National Library of Sweden NUKAT Center of Warsaw University Library National Library of France

Kleene, Stephen Cole, 1909- National Library of Poland National Diet Library, Japan ISNI National Library of Israel National Library of the Netherlands National Library of Latvia

Stephen Cole Kleene American mathematician and theoretical computer scientist Wikidata

Kleene, Stephen Cole National and University Library in Zagreb

VIAF ID: 41901318 (Personal)

Permalink: http://viaf.org/viaf/41901318

ISNI: 0000  0001  1471  1821 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (38)

Open Section Close Section 5xx's: Related Names (2)

Open Section Close SectionWorks

Title Sources
Computabilty NUKAT Center of Warsaw University Library
Extension of an effectively generated class of functions by enumeration National Library of Poland
Formal definitions in the theory of ordinal numbers / Alonzo Church, S. C. Kleene. - Warszawa, 1936. National Library of Poland
Formalized recursive functionals and formalized realizability National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of the Czech Republic
The foundations of intuitionistic mathematics : especially in relation to recursive functions NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of Sweden National Library of the Netherlands Sudoc [ABES], France National Library of Latvia
Introduction to metamathematics National Library of the Netherlands National Library of the Czech Republic Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of Sweden xR Extended Titles National Library of France National Library of Latvia
The Kleene symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. National Library of the Netherlands Library of Congress/NACO National Library of Sweden
Matematičeskaja logika NUKAT Center of Warsaw University Library National Library of the Czech Republic Sudoc [ABES], France
Mathematical logic National Library of the Netherlands National and University Library in Zagreb Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of Sweden xR Extended Titles National Library of France National Library of Latvia
Osnovanija intuicionistskoj matematiki s točki zrenija teorii rekursivnych funkcij National Library of the Czech Republic Sudoc [ABES], France
Sūgakuteki ronrigaku. National Diet Library, Japan
A theory of positive integers in formal logic National Library of the Netherlands Library of Congress/NACO
Two papers on the predicate calculus National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO National Library of the Czech Republic
Vvedenie v metamatematiku NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of the Czech Republic
Введение в метаматематику, 1957: Sudoc [ABES], France National Library of Latvia
Математическая логика Sudoc [ABES], France National Library of Latvia
Основания интуиционистской математики : с точки зрения теории рекурсивных функций Sudoc [ABES], France National Library of Latvia
数学的論理学. National Diet Library, Japan

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (7)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (13)

Open Section Close Section About

Open Section Close Section History of VIAF ID:41901318 (29)