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

Auteur(s) : The Luitzen Egbertus Jan Brouwer Centenary Symposium. [1981. Noordwijkerhout, Pays-Bas.]  Voir les notices liées en tant qu'auteur

Titre(s) : The L.E.J. Brouwer Centenary symposium [Texte imprimé] : proceedings / of the Conference held in Noordwijkerhout, 8-13 June, 1981 ; ed. by A.S. Troelstra and D. Van Dalen

Publication : Amsterdam ; New York ; Oxford : North-Holland, 1982

Description matérielle : IX-523 p. : ill. ; 23 cm

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

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

Note(s) : Notes bibliogr.

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

Sujet(s) : Mathématiques constructives  Voir les notices liées en tant que sujet
Mathématiques intuitionnistes  Voir les notices liées en tant que sujet

Indice(s) Dewey :  510.1 (23e éd.) = Mathématiques - Philosophie et théorie  Voir les notices liées en tant que sujet ; 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-444-86494-6

Identifiant de la notice  : ark:/12148/cb34785179j

Notice n° :  FRBNF34785179