VIAF

Virtual International Authority File

Search

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

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

Stephen Cole Kleene American mathematician and theoretical computer scientist Wikidata

Kleene, Stephen Cole NII (Japan) 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 (40)

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

Open Section Close SectionWorks

Title Sources
Computability, enumerability, unsolvability : directions in recursion theory National Library of Sweden
Computabilty / by S. C. Cole. - Washington, 1961. 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 Czech Republic Sudoc [ABES], France National Library of the Netherlands NUKAT Center of Warsaw University Library
Foundations of intuitionistic mathematics especially in relation to recursive functions National Library of France National Library of Latvia Sudoc [ABES], France National Library of the Netherlands Library of Congress/NACO xR Extended Titles NUKAT Center of Warsaw University Library National Library of Sweden
Introduction to metamathematics xR Extended Titles
Introduction to metamathematics, by Stephen Cole Kleene National Library of France National Library of Latvia National Library of the Czech Republic Sudoc [ABES], France National Library of the Netherlands NUKAT Center of Warsaw University Library xR Extended Titles Library of Congress/NACO National Library of Sweden
The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. National Library of the Netherlands National Library of Sweden Library of Congress/NACO
Matematičeskaâ logika National Library of the Czech Republic Sudoc [ABES], France NUKAT Center of Warsaw University Library
Mathematical logic xR Extended Titles National Library of France Sudoc [ABES], France National Library of the Netherlands National Library of Latvia NUKAT Center of Warsaw University Library National and University Library in Zagreb Library of Congress/NACO National Library of Sweden
Osnovaniâ intuicionistskoj matematiki : s točki zreniâ teorii rekursivnyh funkcij National Library of the Czech Republic Sudoc [ABES], France NUKAT Center of Warsaw University Library
Sū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, 1952: National Library of the Czech Republic Sudoc [ABES], France National Library of the Netherlands NUKAT Center of Warsaw University Library Library of Congress/NACO
Vvedenie v metamatematiku / Stefen K. Klini. - Moskva, 1957. National Library of the Czech Republic Sudoc [ABES], France NUKAT Center of Warsaw University Library
Введение в метаматематику, 1957: Sudoc [ABES], France National Library of Latvia
Математическая логика Sudoc [ABES], France National Library of Latvia
Основания интуиционистской математики : с точки зрения теории рекурсивных функций Sudoc [ABES], France National Library of Latvia
数学的論理学 NII (Japan) National Diet Library, Japan

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (8)

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 (20)
https://viaf.org/viaf/41901318/
viaf.org
crawl=CC-MAIN-2016-44
166809
application/http; msgtype=response
sha1:SZSNWIQ5FXXISHIWE7HW2FUEH557MHJ3
<urn:uuid:e098132d-aca9-4a44-84d6-52314ae33149>
2016-10-23T08:23:32Z
132.174.3.3
sha1:AJODY24RSTRV27CSPPEGSAKBVQBCT5LL
<urn:uuid:5d16ff7d-0ab3-4105-a741-763cb8331584>
https://viaf.org/viaf/41901318/
length
response
<urn:uuid:87e4f85d-75e0-4901-88f2-d0ed05e8a35e>
robots: classic
hostname: ip-10-171-6-4.ec2.internal
software: Nutch 1.6 (CC)/CC WarcExport 1.0
isPartOf: CC-MAIN-2016-44
operator: CommonCrawl Admin
description: Wide crawl of the web for October 2016
publisher: CommonCrawl
format: WARC File Format 1.0
conformsTo: http://bibnum.bnf.fr/WARC/WARC_ISO_28500_version1_latestdraft.pdf