Bibliothèque du CREM
Indexation 5.01 : Logique mathématique. Fondements mathématiques
Ouvrages de la bibliothèque en indexation 5.01 (21)
Affiner la rechercheBasic Laws of Arithmetic / Gottlob FREGE
Titre : Basic Laws of Arithmetic : derived using concept-script Type de document : texte imprimĂ© Auteurs : Gottlob FREGE, Auteur ; Philip A. EBERT, Traducteur ; Marcus ROSSBERG, Traducteur ; Crispin WRIGHT, Traducteur Mention d'Ă©dition : 1st published in paperback Editeur : Oxford ; New York : Oxford University Press AnnĂ©e de publication : 2016 Importance : 1vol. (pagination multiple) Format : 25 cm ISBN/ISSN/EAN : 978-0-19-877730-4 Note gĂ©nĂ©rale : Trad. de "Grundgesetze der Arithmetik" Langues : Anglais (eng) Langues originales : Allemand (ger) Mots-clĂ©s : ArithmĂ©tique Nombre Cantor Index. dĂ©cimale : 5.01 Logique mathématique. Fondements mathématiques Note de contenu : Volume I & Volume II Typologie du document : Ouvrage de référence Basic Laws of Arithmetic : derived using concept-script [texte imprimĂ©] / Gottlob FREGE, Auteur ; Philip A. EBERT, Traducteur ; Marcus ROSSBERG, Traducteur ; Crispin WRIGHT, Traducteur . - 1st published in paperback . - Oxford ; New York : Oxford University Press, 2016 . - 1vol. (pagination multiple) ; 25 cm.
ISBN : 978-0-19-877730-4
Trad. de "Grundgesetze der Arithmetik"
Langues : Anglais (eng) Langues originales : Allemand (ger)
Mots-clĂ©s : ArithmĂ©tique Nombre Cantor Index. dĂ©cimale : 5.01 Logique mathématique. Fondements mathématiques Note de contenu : Volume I & Volume II Typologie du document : Ouvrage de référence Exemplaires(1)
Code-barres Cote Localisation Section Support DisponibilitĂ© Consultable 03091 5.01 FRE Ouvrages thĂ©oriques & autres 5. MathĂ©matiques Livre Disponible Consultable sur place, même si en prêt Cours de logique / Marcel BARZIN
Titre : Cours de logique : volume 1 Type de document : texte imprimĂ© Auteurs : Marcel BARZIN, Auteur Editeur : Editions E.D.K. AnnĂ©e de publication : 1939 Importance : 1 vol. (113 p.) Format : 27 cm Langues : Français (fre) Index. dĂ©cimale : 5.01 Logique mathématique. Fondements mathématiques Typologie du document : Ouvrage de référence/Syllabus universitaire Cours de logique : volume 1 [texte imprimĂ©] / Marcel BARZIN, Auteur . - Editions E.D.K., 1939 . - 1 vol. (113 p.) ; 27 cm.
Langues : Français (fre)
Index. dĂ©cimale : 5.01 Logique mathématique. Fondements mathématiques Typologie du document : Ouvrage de référence/Syllabus universitaire Exemplaires(1)
Code-barres Cote Localisation Section Support Disponibilité Consultable 00064 5.01 BAR Ouvrages théoriques & autres 5. Mathématiques Livre Disponible Cours de logique. Volume II / Marcel BARZIN
Titre de sĂ©rie : Cours de logique Titre : Volume II Type de document : texte imprimĂ© Auteurs : Marcel BARZIN, Auteur Editeur : Liège : Maison Desoer AnnĂ©e de publication : 1940 Importance : 1 vol. (65 p.) Format : 27 cm Langues : Français (fre) Langues originales : Français (fre) Index. dĂ©cimale : 5.01 Logique mathématique. Fondements mathématiques Typologie du document : Syllabus universitaire Cours de logique. Volume II [texte imprimĂ©] / Marcel BARZIN, Auteur . - Liège : Maison Desoer, 1940 . - 1 vol. (65 p.) ; 27 cm.
Langues : Français (fre) Langues originales : Français (fre)
Index. dĂ©cimale : 5.01 Logique mathématique. Fondements mathématiques Typologie du document : Syllabus universitaire Exemplaires(1)
Code-barres Cote Localisation Section Support DisponibilitĂ© Consultable 00698 5.01 BAR Ouvrages thĂ©oriques & autres 5. MathĂ©matiques Livre Disponible Consultable sur place, même si en prêt ÉpistĂ©mologie. Logique mathĂ©matique / Stephen C. KLEENE
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 Cote Localisation Section Support DisponibilitĂ© Consultable 00264 5.01 KLE Ouvrages thĂ©oriques & autres 5. MathĂ©matiques Livre Disponible Consultable sur place, même si en prêt Essai de logique opĂ©ratoire / Jean PIAGET
Titre : Essai de logique opĂ©ratoire Type de document : texte imprimĂ© Auteurs : Jean PIAGET, Auteur ; Jean-Blaise GRIZE, Auteur ; François BRESSON, Directeur de publication ; Maurice de MONTMOLLIN, Directeur de publication Editeur : Paris [France] : Dunod AnnĂ©e de publication : 1972 Collection : Sciences du comportement Importance : 1 vol. (XVI-398 p.) Format : 30 cm Note gĂ©nĂ©rale : Deuxième édition du "Traité de logique essai de logistique opératoire" (1949) établie par Jean-Blaise GRIZE. - Ouvrage photocopié Langues : Français (fre) Langues originales : Français (fre) Index. dĂ©cimale : 5.01 Logique mathématique. Fondements mathématiques Typologie du document : Ouvrage de référence Essai de logique opĂ©ratoire [texte imprimĂ©] / Jean PIAGET, Auteur ; Jean-Blaise GRIZE, Auteur ; François BRESSON, Directeur de publication ; Maurice de MONTMOLLIN, Directeur de publication . - Paris [France] : Dunod, 1972 . - 1 vol. (XVI-398 p.) ; 30 cm. - (Sciences du comportement) .
Deuxième édition du "Traité de logique essai de logistique opératoire" (1949) établie par Jean-Blaise GRIZE. - Ouvrage photocopié
Langues : Français (fre) Langues originales : Français (fre)
Index. dĂ©cimale : 5.01 Logique mathématique. Fondements mathématiques Typologie du document : Ouvrage de référence Exemplaires(1)
Code-barres Cote Localisation Section Support DisponibilitĂ© Consultable 02620 5.01 PIA Ouvrages thĂ©oriques & autres 5. MathĂ©matiques Livre Disponible Consultable sur place, même si en prêt Gödel's Proof / Ernest NAGEL
PermalinkInitiation Ă la logique formelle / Thierry LUCAS
PermalinkHS n° 15 - Sept. 2004 - La logique (Bulletin de Bibliothèque tangente)
PermalinkLogique et analyse / Jean Paul VAN BENDEGEM
PermalinkLogique et connaissance scientifique / Jean PIAGET
PermalinkLogique et équations / Michel BIGOT
PermalinkLa logique des erreurs / A. THIEBAULT
PermalinkMathématique et automatique / M. BOSOM
PermalinkMathématiques et logique / Mark KAC
PermalinkModern Logic / Norman L. THOMAS
Permalink
Partenaires:
pmb
pmb
5.00 Mathématiques générales
