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 National Library of Poland 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

Kleene, Stephen Cole NII (Japan) BIBSYS National and University Library in Zagreb

Stephen Cole Kleene American mathematician and theoretical computer scientist Wikidata

VIAF ID: 41901318 (Personal)

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

Open Section Close Section Preferred Forms

 

 

 

 

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

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

Open Section Close SectionWorks

Title Sources
Aritmetika hierarkio Wikidata
Computabilty NUKAT Center of Warsaw University Library National Library of Sweden
Extension of an effectively generated class of functions by enumeration National Library of Poland
Formal definitions in the theory of ordinal numbers Wikidata 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 BIBSYS Sudoc [ABES], France National Library of the Netherlands National Library of Sweden xR Extended Relationships NUKAT Center of Warsaw University Library Library of Congress/NACO
General recursive functions of natural numbers BIBSYS
Hiérarchie arithmétique Wikidata
Introduction to metamathematics National Library of France xR Extended Relationships National Library of Latvia National Library of the Czech Republic Sudoc [ABES], France National Library of the Netherlands BIBSYS NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of Sweden
Introduction to metamathematics, by Stephen Cole Kleene xR Extended Relationships
jerarquia aritmètica Wikidata
Kleene logic and inference National Library of Poland
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 Relationships National Library of France Sudoc [ABES], France National Library of the Netherlands National Library of Latvia BIBSYS NUKAT Center of Warsaw University Library National and University Library in Zagreb Library of Congress/NACO National Library of Sweden
On the interpretation of intuitionistic number theory Wikidata
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
Recursive predicates and quantifiers BIBSYS
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, 1952: National Library of the Czech Republic Sudoc [ABES], France National Library of the Netherlands BIBSYS NUKAT Center of Warsaw University Library Library of Congress/NACO
Vvedenie v metamatematiku National Library of the Czech Republic Sudoc [ABES], France NUKAT Center of Warsaw University Library
Аритметичка хијерархија Wikidata
Введение в метаматематику, 1957: Sudoc [ABES], France National Library of Latvia
Математическая логика Sudoc [ABES], France National Library of Latvia
Основания интуиционистской математики : с точки зрения теории рекурсивных функций Sudoc [ABES], France National Library of Latvia
היררכיה אריתמטית Wikidata
数学的論理学 NII (Japan) National Diet Library, Japan
算数阶层 Wikidata
算術的階層 Wikidata

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 (22)