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

Auteur(s) : Congress on twenty-five years constructive type theory (1995 ; Venise, Italie)  Voir les notices liées en tant qu'auteur

Titre(s) : Twenty-five years of constructive type theory [Texte imprimé] / proceedings of a congress held in Venice, October 1995 ; ed. by Giovanni Sambin,... and Jan M. Smith,...

Publication : Oxford : Clarendon Press, 1998

Description matérielle : VII-283 p. : ill. ; 24 cm

Collection : Oxford logic guides ; 36

Lien à la collection : Oxford logic guides  Voir toutes les notices liées

Note(s) : Bibliogr. à lafin de chaque chap.

Autre(s) auteur(s) : Sambin, Giovanni. Éditeur scientifique  Voir les notices liées en tant qu'auteur
Smith, Jan M. (19..-.... ; mathématicien). Éditeur scientifique  Voir les notices liées en tant qu'auteur

Sujet(s) : Théorie des types  Voir les notices liées en tant que sujet
Mathématiques constructives  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.36 (23e éd.) = Théorie de la preuve et mathématiques constructives  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 0-19-850122-7 (erroné) (br.). - ISBN 0-19-850127-7 (rel.)

Identifiant de la notice  : ark:/12148/cb391358495

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