Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : Kleene Symposium (1978 ; Madison, Wis.)  Voir les notices liées en tant qu'auteur

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

Publication : Amsterdam ; New York : North-Holland Pub. Co. : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980

Description matérielle : 1 ressource dématérialisée

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

Note(s) : Includes bibliographical references

Autre(s) auteur(s) : Kleene, Stephen Cole (1909-1994). Fonction indéterminée  Voir les notices liées en tant qu'auteur
Barwise, Jon. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Keisler, H. Jerome. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Kunen, Kenneth. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Kleene, Stephen Cole (1909-1994)  Voir les notices liées en tant que sujet
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
Kleene, Stephen Cole (1909-1994)
Kleene, Stephen Cole (1909-1994) -- congrès

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

Indice(s) Dewey :  511.3 (23e éd.) = Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9780444853455

Identifiant de la notice  : ark:/12148/cb446482471

Notice n° :  FRBNF44648247 (notice reprise d'un réservoir extérieur)