The foundations of intuitionistic mathematics

Name: The foundations of intuitionistic mathematics
Author: Stephen Cole Kleene

Stephen Cole Kleene · The foundations of intuitionistic mathematics, especially in relation to recursive functions

« The foundations of intuitionistic mathematics » est traité de Stephen Cole Kleene, parue en 1965, écrite en anglais américain. L’auteur avait 56 ans à la parution.

1965date

13œuvres de l’auteur

226pages

XXesiècle de l’auteur

§1

Du même auteur

Autres œuvres de Stephen Cole Kleene

La fiche de Stephen Cole Kleene

modèle mathématique lambda-calcul Alonzo Church

opération unaire fermeture de Kleene Stephen Cole Kleene

théorème théorème de Kleene Stephen Cole Kleene

théorème théorème de récursion de Kleene Stephen Cole Kleene

concept mathématique Algèbre de Kleene Stephen Cole Kleene

théorème de point fixe théorème du point fixe de Kleene Stephen Cole Kleene

grand ordinal dénombrable ordinal de Church-Kleene Stephen Cole Kleene

concept mathématique Kleene's O Stephen Cole Kleene