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

Titre conventionnel : [Mélanges. Nerode, Anil]

Titre(s) : Logical methods [Texte imprimé] : in honor of Anil Nerode's sixtieth birthday / John N. Crossley, Jeffrey B. Remmel, Richard A. Shore... [et al]

Publication : Basel ; Boston : Birkhäuser, 1993

Description matérielle : 813 p. : ill. ; 24 cm

Collection : Progress in computer science & applied logic ; 12

Lien à la collection : Progress in computer science and applied logic  Voir toutes les notices liées

Note(s) : Actes de :"Conference on logical methods", tenue en l'honneur du 60ème anniversaire de Anil Nerode à l'Université de Cornell du 1er au 3 juin 1992. - Bibliogr. p. 76-91. - Bibliogr. à la fin de chaque chap.

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 3-7643-3690-0 (Basel). - ISBN 0-8176-3690-0 (Boston)

Identifiant de la notice  : ark:/12148/cb37443499k

Notice n° :  FRBNF37443499