Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Titre conventionnel : [Mélanges. Kleene, Stephen Cole]

Titre(s) : The Kleene symposium [Texte imprimé] : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. [in honor of his 70th birthday] / edited by Jon Barwise,... H. Jerome Keisler,... Kenneth Kunen,..

Publication : Amsterdam : North-Holland, 1980

Description matérielle : 1 vol. (XX-425 p.) ; 23 cm

Collection : Studies in logic and the foundations of mathematics ; 101

Lien à la collection : Studies in logic and the foundations of mathematics  Voir toutes les notices liées

Note(s) : Bibliogr. de S.C. Kleene p. XII-XVI. Notes bibliogr. en fin de chapitres

Autre(s) auteur(s) : Kleene Symposium (1978. Madison, Wisc)  Voir les notices liées en tant qu'auteur
Barwise, Jon (1942-2000). Éditeur scientifique  Voir les notices liées en tant qu'auteur
Keisler, Howard Jerome (1936-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur
Kunen, Kenneth. Éditeur scientifique  Voir les notices liées en tant qu'auteur

Sujet(s) : Récursivité, Théorie de la  Voir les notices liées en tant que sujet
Mathématiques intuitionnistes  Voir les notices liées en tant que sujet

Genre ou forme : Actes de congrès  Voir les notices liées en tant que genre ou forme

Identifiants, prix et caractéristiques : ISBN 0-444-85345-6 (rel.)

Identifiant de la notice  : ark:/12148/cb356448619

Notice n° :  FRBNF35644861