Nantilus
Constructivism in mathematics : an introduction
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| 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 : |
BU Censive
| | Cote | Prêt | Statut |
|---|---|---|---|
| Bât. Censive, 1er étage, salle 111 | 511.3 TRO | Empruntable | Disponible |