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

Titre(s) : Proof theory ; constructive mathematics [Texte imprimé] / ed. Jane E. Kister, Dirk van Dalen & Anne S. Troelstra

Titre d'ensemble : [Omega]-bibliography of mathematical logic ; 6

Lien au titre d'ensemble : Appartient à : [Omega]-bibliography of mathematical logic  Voir toutes les notices liées

Publication : Berlin ; New York ; Paris [etc.] : Springer, cop. 1987

Description matérielle : XLI-405 p. ; 28 cm

Collection : Perspectives in mathematical logic

Lien à la collection : Perspectives in mathematical logic  Voir toutes les notices liées

Note(s) : Index

Autre(s) auteur(s) : Dalen, Dirk van (1932-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur
Troelstra, A. S (1939-2019). Éditeur scientifique  Voir les notices liées en tant qu'auteur
Kister, Jane E.. Éditeur scientifique  Voir les notices liées en tant qu'auteur

Sujet(s) : Logique mathématique  Voir les notices liées en tant que sujet
Théorie de la démonstration  Voir les notices liées en tant que sujet
Mathématiques constructives  Voir les notices liées en tant que sujet

Genre ou forme : Bibliographie  Voir les notices liées en tant que genre ou forme

Indice(s) Dewey :  016.511 3 (23e éd.) = Bibliographies et catalogues spécialisés - Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 3-540-15524-4 (Berlin). - ISBN 0-387-15524-4 (New York) (rel.)

Identifiant de la notice  : ark:/12148/cb37540498p

Notice n° :  FRBNF37540498