Épistémologie. Logique mathématique / Stephen C. KLEENE

Public ISBD Titre de série : Épistémologie Titre : Logique mathématique Type de document : texte imprimé Auteurs : Stephen C. KLEENE, Auteur ; Jean LARGEAULT, Traducteur Editeur : Sceaux [France] : J. Gabay Année de publication : 1987 Importance : 1 vol. (412 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-87647-005-7 Note générale : Trad. de : "Mathematical Logic". -Bibliogr. p. 379-391. Index p. 401-413 Langues : Français (fre) Langues originales : Américain (ame) Mots-clés : Enseignement du secondaire  Logique  Modélisation  Démonstration  Fondements Index. décimale : 5.01 Logique mathématique. Fondements mathématiques Typologie du document : Manuel d'élève et livret d'exercices/Ouvrage de référence Épistémologie. Logique mathématique [texte imprimé] / Stephen C. KLEENE, Auteur ; Jean LARGEAULT, Traducteur . - Sceaux [France] : J. Gabay, 1987 . - 1 vol. (412 p.) ; 24 cm. ISBN : 978-2-87647-005-7 Trad. de : "Mathematical Logic". -Bibliogr. p. 379-391. Index p. 401-413 Langues : Français (fre) Langues originales : Américain (ame) Mots-clés : Enseignement du secondaire  Logique  Modélisation  Démonstration  Fondements Index. décimale : 5.01 Logique mathématique. Fondements mathématiques Typologie du document : Manuel d'élève et livret d'exercices/Ouvrage de référence

Exemplaires(1)

Code-barres	Consultable	Cote	Localisation	Section	Support	Disponibilité
00264	5.01 KLE	Ouvrages théoriques & autres	5. Mathématiques	Livre	Disponible	Consultable sur place, même si en prêt

Intuition et intuitionisme / Jean LARGEAULT

Public ISBD Titre : Intuition et intuitionisme Type de document : texte imprimé Auteurs : Jean LARGEAULT, Auteur ; Michel BLAY, Directeur de publication ; Hourya BENIS SINACEUR, Directeur de publication Editeur : Paris : J. Vrin Année de publication : 1993 Collection : Mathesis Importance : 1 vol. (238 p.) Format : 22 cm ISBN/ISSN/EAN : 978-2-7116-1155-3 Note générale : Avec la traduction de deux textes de Brouwer en annexe Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Intuition  Continu-discontinu  Infini  Nombre réel  Démonstration Index. décimale : 4.01 Épistémologie. Fondements. Philosophie Typologie du document : Ouvrage de référence Intuition et intuitionisme [texte imprimé] / Jean LARGEAULT, Auteur ; Michel BLAY, Directeur de publication ; Hourya BENIS SINACEUR, Directeur de publication . - Paris : J. Vrin, 1993 . - 1 vol. (238 p.) ; 22 cm. - (Mathesis) . ISBN : 978-2-7116-1155-3 Avec la traduction de deux textes de Brouwer en annexe Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Intuition  Continu-discontinu  Infini  Nombre réel  Démonstration Index. décimale : 4.01 Épistémologie. Fondements. Philosophie Typologie du document : Ouvrage de référence

Exemplaires(1)

Code-barres	Consultable	Cote	Localisation	Section	Support	Disponibilité
02601	4.01 LAR	Ouvrages théoriques & autres	4. Histoire des mathématiques. Épistémologie. Jeux. Etc.	Livre	Disponible	Consultable sur place, même si en prêt

Intuitionnisme et théorie de la démonstration / Jean LARGEAULT

Public ISBD 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) Mots-clés : Intuition  Démonstration Index. décimale : 4.02 Sources historiques Typologie du document : Ouvrage de référence

Exemplaires(1)

Code-barres	Consultable	Cote	Localisation	Section	Support	Disponibilité
02809	4.02 LAR	Ouvrages théoriques & autres	4. Histoire des mathématiques. Épistémologie. Jeux. Etc.	Livre	Disponible	Consultable sur place, même si en prêt

---

1 (1 - 3 / 3) Par page : 25 50 100 200