Documents

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

The university series in higher mathematics

Cote : KLEENE i

logique ; mathématique (sujets divers) ; métamathématique ; récurrence

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Cote : GODEL c II
ISBN/ISSN : 0-19-514721-9

oeuvres ; Gödel (Kurt)

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Cote : GODEL c I
ISBN/ISSN : 0-19-514720-0

biographie ; oeuvres

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Memoirs of the American Mathematical Society (Memoirs of the AMS)

Cote : M/A4(10)
ISBN/ISSN : 0-8218-1210-6

calcul des prédicats ; logique

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Collection U : épistémologie

Cote : KLEENE l

logique

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Memoirs of the American Mathematical Society (Memoirs of the AMS)

Cote : M/A4(89)
ISBN/ISSN : 0-8218-1289-0

fonctionnelle récursive ; logique

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Noordhoff in pure and applied mathematics

Cote : HEYTING l

fondement des mathématiques ; Heyting (Arend) ; logique

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Cote : KLEENE m
ISBN/ISSN : 978-0-486-42533-7

logique ; fondement ; logique symbolique

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Memoirs of the American Mathematical Society (Memoirs of the AMS)

Cote : M/A4(10)

calcul des prédicats ; logique

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

The university series in higher mathematics

Cote : KLEENE i

logique ; mathématique (sujets divers) ; métamathématique ; récurrence

... Lire [+]

Sélection

Documents Kleene, Stephen Cole 10 résultats

Introduction to metamathematics Kleene, Stephen Cole ; Beeson, Michael | Ishi Press International 2009 Nouveau

Kurt Gödel : collected works, Vol. 2 : publications 1938-1974 Gödel, Kurt ; Dawson, John W. Jr. ; Kleene, Stephen Cole ; Feferman, Solomon | Oxford University Press 1990 Nouveau

Kurt Gödel : collected works, Vol. 1 : publications 1929-1936 Gödel, Kurt ; Feferman, Solomon ; Dawson, John W. Jr. ; Kleene, Stephen Cole | Oxford University Press 1986 Nouveau

Two papers on the predicate calculus Kleene, Stephen Cole | AMS 1972 Nouveau

Logique mathématique Kleene, Stephen Cole ; Largeault, Jean | Armand Colin 1971 Nouveau

Formalized recursive functionals and formalized realizabilitys Kleene, Stephen Cole | AMS 1969 Nouveau

Logic and foundations of mathematics : Dedicated to prof. A. Heyting on his 70th birthday Van Dalen, Dirk ; Dijkman, J. G. ; Kleene, Stephen Cole ; Troelstra, A. S. ; Heyting, A. | Wolters-Noordhoff 1968 Nouveau

Mathematical logic Kleene, Stephen Cole | Dover 1967 Nouveau

Two papers on the predicate calculus Kleene, Stephen Cole | AMS 1952 Nouveau

Introduction to metamathematics Kleene, Stephen Cole | Van Nostrand 1952 Nouveau