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 recherche
Basic 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 Consultable Cote Localisation Section Support Disponibilité 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 Consultable Cote Localisation Section Support Disponibilité 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 Consultable Cote Localisation Section Support Disponibilité 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 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 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 Consultable Cote Localisation Section Support Disponibilité 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