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

Auteur(s) : Jacobs, Bart (1963-....)  Voir les notices liées en tant qu'auteur

Titre(s) : Categorical logic and type theory [Texte imprimé] / Bart Jacobs,...

Publication : Amsterdam ; Lausanne ; New York [etc.] : Elsevier, 1999

Description matérielle : XVIII-760 p. : ill. ; 23 cm

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

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

Note(s) : Bibliogr. p. 717-733. Index

Sujet(s) : Catégories (mathématiques)  Voir les notices liées en tant que sujet
Théorie des types  Voir les notices liées en tant que sujet

Indice(s) Dewey :  512.62 (23e éd.) = Théorie des catégories  Voir les notices liées en tant que sujet ; 512.55 (23e éd.) = Algèbres et groupes topologiques et connexes  Voir les notices liées en tant que sujet

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

Identifiant de la notice  : ark:/12148/cb375472755

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