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

Auteur(s) : Troelstra, Anne Sjerp  Voir les notices liées en tant qu'auteur

Titre(s) : Constructivism in mathematics [Texte électronique] : an introduction / A.S. Troelstra, D. van Dalen

Publication : Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988

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

Collection : Studies in logic and the foundations of mathematics ; v. 121; 123

Note(s) : Includes bibliographical references and indexes

Autre(s) auteur(s) : Dalen, Dirk (1932-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Mathématiques constructives  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 9780444702661 . - ISBN 9780444703583

Identifiant de la notice  : ark:/12148/cb44725382v

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

Table des matières : Contiene: Vol. I ; Vol. II.