Constructivism in mathematics : an introduction

Constructivism in mathematics : an introduction

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Troelstra Anne Sjerp (Auteur), Dalen Dirk van (Auteur)
Format : Livre
Langue : anglais
Titre complet : Constructivism in mathematics : an introduction / A.S. Troelstra,... D. van Dalen,...
Publié : Amsterdam, New York, Oxford [etc] : North-Holland , cop. 1988
Elsevier
Description matérielle : 2 vol. (XX-345-XIV, XVII-879-LII p.)
Collection : Studies in logic and the foundations of mathematics ; 121
Studies in logic and the foundations of mathematics ; 123
Titre de l'ensemble : Studies in logic and the foundations of mathematics vol. 121, 123
Contenu : Contient des exercices
Sujets :
Mathématiques constructives
Description
Historique des publications : Autre impression chez Elsevier : vol.1 : 1991, vol.2 : 2004
Bibliographie : Notes bibliogr. Index
ISBN : 0-444-70506-6
0-444-70358-6
0-444-70266-0