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

Auteur(s) : Logic Colloquium (1981 ; Marseille, France)  Voir les notices liées en tant qu'auteur

Titre(s) : Proceedings of the Herbrand symposium [Texte électronique] : Logic Colloquium '81 ... held in Marseilles, France, July 1981 / edited by J. Stern

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

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

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

Note(s) : Includes bibliographical references

Autre(s) auteur(s) : Stern, Jacques (1949-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur
Herbrand, Jacques (1908-1931). Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Logique mathématique  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

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 9780444864178

Identifiant de la notice  : ark:/12148/cb446483192

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