Intuitionism : an introduction [monographie] |
| Auteur(s): | Heyting, Arend (1898-1980) |
| Langue: | anglais |
| Collection: | Studies in logic and the foundations of mathematics |
| Editeur, date d'édition: | North-Holland Publishing Company, Inc., 1956 |
| Ville(s) d'édition: | Amsterdam (NL) |
| ISSN: | 0049-237X |
| Classification MSC: | 02.0X (2000) |
| Notes: | Bibliogr. pp. 123-129 ; index pp. 130-133 ; 22 cm ; 132 p. |
| Thèmes: | mathematiques intuitionnistes, intuitionistic mathematics |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 HEY 56 | Disponible |