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 |