Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957 [texte imprimé] /
A. HEYTING, Editeur scientifique . -
Amsterdam : North-Holland Publishing Company, 1959 . - VIII-297 p.. - (
Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
"Lectures held at the International Colloquium "Constructivity in mathematics" [...] at Amsterdam from August 26 to 31, 1957. [...] organized by the Nederlandse Vereniging voor Logica en Wijsbegeerte der Exacte Wetenschappen (Netherlands Society for Logic and Philosophy of Science), and sponsored by the International Union for History and Philosophy of Science"
Langues : Anglais Allemand Français
| Mots-clés : | mathématique constructive |
| Résumé : | Cet article est le résultat d'une série de conférences que l'auteur a données à l'Université de Californie en 1998. Ces conférences ont été développées en une introduction très lisible et large à divers aspects des mathématiques constructives. |
| Note de contenu : | références |
Constructivity in mathematics (1959)
