Stephen Cole Kleene (1909-1994)

Image not available yet
Country : États-Unis
Language : anglais
Gender : masculin
Birth : Hartford (Conn.), 05-01-1909
Death : 25-01-1994
Note :
ISNI : ISNI 0000 0001 1471 1821

Activities of Stephen Cole Kleene (1909-1994) (9 resources in

Textual works (8)

Introduction to metamathematics
Logique mathématique
The Kleene Symposium with Stephen Cole Kleene (1909-1994) as Autre
Logique mathématique
The Foundations of intuitionistic mathematics
Foundations of Intuitionistic Mathematics
Introduction to metamathematics, by Stephen Cole Kleene,...
A Theory of positive integers in formal logic. A dissertation presented to the Faculty of Princeton University... by Stephen Cole Kleene...

Mixed works (1)

Mathematical logic

Documents about Stephen Cole Kleene (1909-1994) (1 resources in

Books (1)

The Kleene Symposium

See also