Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo / A. S. Troelstra
Type de document : MonographieCollection : Lecture notes in mathematics, 95Langue : anglais.Pays: Allemagne.Éditeur : Berlin : Springer, 1969Description : 1 vol. (111 p.) ; 28 cmISBN: 9780387046143.ISSN: 0075-8434.Bibliographie : Bibliogr. p. 108-111.Sujet MSC : 03Bxx, Mathematical logic and foundations - General logicEn-ligne : sur Springerlink Item type: MonographieCurrent library | Call number | Status | Date due | Barcode |
---|---|---|---|---|
CMI Salle 1 | 03 TRO (Browse shelf(Opens below)) | Available | 02344-01 | |
CMI Salle 1 | 03 TRO (Browse shelf(Opens below)) | Available | 02344-02 |
Bibliogr. p. 108-111
There are no comments on this title.