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 : |
| LEADER | 01980cam a2200553 4500 | ||
|---|---|---|---|
| 001 | PPN005950066 | ||
| 003 | http://www.sudoc.fr/005950066 | ||
| 005 | 20240319101300.0 | ||
| 010 | |a 0-444-70506-6 |b br., vol.1 | ||
| 010 | |a 0-444-70358-6 |b rel., vol.2 | ||
| 010 | |a 0-444-70266-0 |b rel., vol.1 | ||
| 010 | |z 0-444-70358-6 | ||
| 020 | |a US |b 885240 | ||
| 035 | |a 020650361 |9 sudoc | ||
| 035 | |a (OCoLC)489825120 | ||
| 035 | |a sib0117740 | ||
| 035 | |a ocm17621906 | ||
| 100 | |a 19881020h19881988k y0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a NL |a US |a GB | ||
| 105 | |a y a 001yy | ||
| 106 | |a r | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 183 | |6 z01 |a nga |2 RDAfrCarrier | ||
| 200 | 1 | |a Constructivism in mathematics |e an introduction |f A.S. Troelstra,... D. van Dalen,... | |
| 210 | |a Amsterdam |a New York |a Oxford [etc] |c North-Holland |c Elsevier |d cop. 1988 | ||
| 215 | |a 2 vol. (XX-345-XIV, XVII-879-LII p.) |d 23 cm | ||
| 225 | 1 | |a Studies in logic and the foundations of mathematics |x 0049-237X |v 121, 123 | |
| 305 | |a Autre impression chez Elsevier : vol.1 : 1991, vol.2 : 2004 | ||
| 320 | |a Notes bibliogr. Index | ||
| 327 | 0 | |a Contient des exercices | |
| 410 | | | |0 013286838 |t Studies in logic and the foundations of mathematics |x 0049-237X |v 121 | |
| 410 | | | |0 013286838 |t Studies in logic and the foundations of mathematics |x 0049-237X |v 123 | |
| 606 | |3 PPN027424847 |a Mathématiques constructives |2 rameau | ||
| 676 | |a 511.3 |v 19 | ||
| 680 | |a QA9.56 |b .T74 1988 | ||
| 700 | 1 | |3 PPN031968155 |a Troelstra |b Anne Sjerp |4 070 | |
| 701 | 1 | |3 PPN031943055 |a Dalen |b Dirk van |f 1932-.... |4 070 | |
| 801 | 3 | |a FR |b Abes |c 20190514 |g AFNOR |h 020650361 | |
| 801 | 3 | |a FR |b SF |g AFNOR | |
| 801 | 1 | |a US |b OCLC |g AACR2 | |
| 801 | 2 | |a FR |b AUROC |g AFNOR | |
| 979 | |a PHILO | ||
| 930 | |5 441092107:249797410 |b 441092107 |j s | ||
| 991 | |5 441092107:249797410 |a Rétroconversion Philosophie | ||
| 998 | |a 440339 | ||