

Principles of intuitionism : lectures presented at the Summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N. Y. [monographie] |
Auteur(s): | Troelstra, Anne Sjerp |
Langue: | anglais |
Collection: | Lecture notes in mathematics, n° 95 |
Editeur, date d'édition: | Springer, 1969 |
Ville(s) d'édition: | Berlin (DE), Heidelberg (DE), New York (US) |
Congrés: | Principles of intuitionism (1968) New York (US) |
ISSN: | 0075-8434 |
Classification MSC: | 02.23 (2000) |
Notes: | Bibliogr. pp. 108-111 ; 28 cm ; 111 p. |
Thèmes: | mathematique intuitionnistes, congres, intuitionistic mathematics |
Exemplaire(s)
Cote | Retour |
---|---|
05 TRO 69 | Disponible |