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

Auteur(s) : Granström, Johan Georg  Voir les notices liées en tant qu'auteur

Titre(s) : Treatise on intuitionistic type theory [Texte électronique] / Johan Georg Granström

Édition : 1st ed.

Publication : New York : Springer, 2011

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

Collection : Logic, epistemology and the unity of science ; v. 22

Note(s) : Includes bibliographical references (pages 175-185) and indexes

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

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 9789400717367

Identifiant de la notice  : ark:/12148/cb44721071d

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