| Titre : |
Intuitionnisme et théorie de la démonstration : textes de Bernays, Brouwer, Gentzen, Gödel, Hilbert, Kreisel, Weyl |
| Type de document : |
texte imprimé |
| Auteurs : |
Jean LARGEAULT, Auteur |
| Editeur : |
Paris : J. Vrin |
| Année de publication : |
1992 |
| Collection : |
Mathesis |
| Importance : |
1 vol. (566 p.) |
| Format : |
21 cm |
| ISBN/ISSN/EAN : |
978-2-7116-1059-4 |
| Note générale : |
Textes de Bernays, Brouwer, Gentzen, Gödel, Hilbert, Kreisel, Weyl réunis, traduits et présentés par Jean Largeault. Ouvrage traduit et publié avec le concours du Centre National des Lettres. - Bibliographie |
| Langues : |
Français (fre) |
| Mots-clés : |
Intuition Démonstration |
| Index. décimale : |
4.02 Sources historiques |
| Typologie du document : |
Ouvrage de référence |
Intuitionnisme et théorie de la démonstration : textes de Bernays, Brouwer, Gentzen, Gödel, Hilbert, Kreisel, Weyl [texte imprimé] / Jean LARGEAULT, Auteur . - Paris : J. Vrin, 1992 . - 1 vol. (566 p.) ; 21 cm. - ( Mathesis) . ISBN : 978-2-7116-1059-4 Textes de Bernays, Brouwer, Gentzen, Gödel, Hilbert, Kreisel, Weyl réunis, traduits et présentés par Jean Largeault. Ouvrage traduit et publié avec le concours du Centre National des Lettres. - Bibliographie Langues : Français ( fre) |  |
Intuitionnisme et théorie de la démonstration
