Bibliothèque Centrale de l'Université Assane Seck de Ziguinchor
Résultat de la recherche
3 recherche sur le mot-clé 'Logique, symbolique et mathématique'
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer la page de recherche courante...](./images/print.gif)
![Tris disponibles](./images/orderby_az.gif)
Ernst Zermelo / Heinz-Dieter Ebbinghaus / Berlin Heidelberg : Springer-Verlag (2007)
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire Gödel's proof / Ernest Nagel / London : Routledge, Kegan Paul LTD (1958)
Titre : Gödel's proof Type de document : texte imprimé Auteurs : Ernest Nagel, Auteur ; James R. Newman, Auteur Editeur : London : Routledge, Kegan Paul LTD, 1958 Importance : 118 p. Format : 18 cm ISBN/ISSN/EAN : 978-0-7100-7078-4 Langues : Anglais (eng) Mots-clés : Théorème de Gödel Métamathématiques Logique, symbolique et mathématique Mathématiques--Philosophie
Gödel's theorem Metamathematics Logic, Symbolic and mathematical Mathematics--PhilosophyIndex. décimale : 511.3 Gödel's proof [texte imprimé] / Ernest Nagel, Auteur ; James R. Newman, Auteur . - London : Routledge, Kegan Paul LTD, 1958 . - 118 p. ; 18 cm.
ISBN : 978-0-7100-7078-4
Langues : Anglais (eng)
Mots-clés : Théorème de Gödel Métamathématiques Logique, symbolique et mathématique Mathématiques--Philosophie
Gödel's theorem Metamathematics Logic, Symbolic and mathematical Mathematics--PhilosophyIndex. décimale : 511.3 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire The mathematical analysis of logic : being an essay towards a calculus of deductive reasoning / George Boole / Macmillan publishing (1847)
Titre : The mathematical analysis of logic : being an essay towards a calculus of deductive reasoning Type de document : texte imprimé Auteurs : George Boole, Auteur Editeur : Macmillan publishing, 1847 Importance : 82 p. Format : 23 cm Langues : Français (fre) Mots-clés : Logique Mathématiques--Philosophie Logique, symbolique et mathématique Analyse (Philosophie)
Logic Mathematics--Philosophy Logic, Symbolic and mathematical Analysis (Philosophy)Index. décimale : 510.1 The mathematical analysis of logic : being an essay towards a calculus of deductive reasoning [texte imprimé] / George Boole, Auteur . - Macmillan publishing, 1847 . - 82 p. ; 23 cm.
Langues : Français (fre)
Mots-clés : Logique Mathématiques--Philosophie Logique, symbolique et mathématique Analyse (Philosophie)
Logic Mathematics--Philosophy Logic, Symbolic and mathematical Analysis (Philosophy)Index. décimale : 510.1 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire