Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957 [monographie] |
| Auteur(s): | Heyting, Arend (1898-1980) (Ed.) |
| Langue: | allemand |
| Collection: | Studies in logic and the foundations of mathematics |
| Editeur, date d'édition: | North-Holland, 1957 |
| Ville(s) d'édition: | Amsterdam (NL) |
| Congrés: | Constructivity in mathematics (1957) Amsterdam (NL) |
| ISSN: | 0049-237X |
| Classification MSC: | 06.00 (2000) |
| Notes: | viii ; notes bibliogr. ; 21 cm ; 297 p. |
| Thèmes: | intuitionnisme, mathematiques constructives, congres, metamathematics |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 HEY 57 | Disponible |