RESEAU UNIVERSITAIRE DE DOCUMENTATION
Indexation 511.3 : Logique symbolique (mathématque)
511 principes générauxOuvrages de la bibliothèque en indexation 511.3 (6)
Affiner la rechercheCalcul propositionnel, algèbre de Boole, calcul des prédicats, 1. Logique mathématique / René Cori
Titre de série : Calcul propositionnel, algèbre de Boole, calcul des prédicats, 1 Titre : Logique mathématique : cours et exercices corrigés Type de document : texte imprimé Auteurs : René Cori, Auteur ; Daniel Lascar (1942-..), Auteur ; Jean-Louis Krivine (1939-..), Préfacier, etc. Editeur : Paris [France] : Dunod Année de publication : D. L. 2003 Collection : Sciences SUP Importance : 1 vol. (XV-385 p.) Présentation : couv. ill. en coul Format : 24 cm ISBN/ISSN/EAN : 978-2-10-005452-7 Langues : Français (fre) Catégories : [UNESCO_V2] 2 Science:2.15 Mathématiques et statistiques:Mathématiques Mots-clés : Calcul des prédicats Algèbre de Boole Calcul des propositions Index. décimale : 511.3 Logique symbolique (mathématque) Calcul propositionnel, algèbre de Boole, calcul des prédicats, 1. Logique mathématique : cours et exercices corrigés [texte imprimé] / René Cori, Auteur ; Daniel Lascar (1942-..), Auteur ; Jean-Louis Krivine (1939-..), Préfacier, etc. . - Paris [France] : Dunod, D. L. 2003 . - 1 vol. (XV-385 p.) : couv. ill. en coul ; 24 cm. - (Sciences SUP) .
ISBN : 978-2-10-005452-7
Langues : Français (fre)
Catégories : [UNESCO_V2] 2 Science:2.15 Mathématiques et statistiques:Mathématiques Mots-clés : Calcul des prédicats Algèbre de Boole Calcul des propositions Index. décimale : 511.3 Logique symbolique (mathématque) Exemplaires(10)
Code-barres Cote Support Localisation Section Disponibilité 01021301 511.3 COR Livre BUC Salle de lecture/Sci.-Méd. Disponible 01026597 511.3 COR Livre BUC Salle de lecture/Sci.-Méd. Disponible 01023472 511.3 COR Livre BUC Salle de lecture/Sci.-Méd. Disponible 01021300 511.3 COR Livre BUC Salle de lecture/Sci.-Méd. Disponible 01026596 511.3 COR Livre BUC Salle de lecture/Sci.-Méd. Disponible 01026599 511.3 COR Livre BUC Salle de lecture/Sci.-Méd. Disponible 01026594 511.3 COR Livre BUC Salle de lecture/Sci.-Méd. Disponible 01026595 511.3 COR Livre BUC Salle de lecture/Sci.-Méd. Disponible 01026598 511.3 COR Livre BUC Salle de lecture/Sci.-Méd. Disponible 01023477 511.3 COR Livre BUC Salle de lecture/Sci.-Méd. Disponible
Titre : Introduction à la logique : théorie de la démonstration : cours et exercices corrigés Type de document : texte imprimé Auteurs : René David, Auteur ; Karim Nour, Autre ; Christophe Raffalli, Auteur Editeur : Paris [France] : Dunod Année de publication : D. L. 2001 Collection : Sciences Sup Importance : 1 vol. (XII-332 p.) Présentation : couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-004892-2 Note générale : Langues : Français (fre) Catégories : [UNESCO_V2] 2 Science:2.15 Mathématiques et statistiques:Mathématiques:Logique mathématique Mots-clés : Logique symbolique (mathématique);Démonstration automatique;Théorèmes mathématiques;Problèmes et exercices Index. décimale : 511.3 Logique symbolique (mathématque) Introduction à la logique : théorie de la démonstration : cours et exercices corrigés [texte imprimé] / René David, Auteur ; Karim Nour, Autre ; Christophe Raffalli, Auteur . - Paris [France] : Dunod, D. L. 2001 . - 1 vol. (XII-332 p.) : couv. ill. en coul. ; 24 cm. - (Sciences Sup) .
ISBN : 978-2-10-004892-2
Langues : Français (fre)
Catégories : [UNESCO_V2] 2 Science:2.15 Mathématiques et statistiques:Mathématiques:Logique mathématique Mots-clés : Logique symbolique (mathématique);Démonstration automatique;Théorèmes mathématiques;Problèmes et exercices Index. décimale : 511.3 Logique symbolique (mathématque) Exemplaires(6)
Code-barres Cote Support Localisation Section Disponibilité 00486506 510.6(076) DAV Livre BUC Salle de lecture/Let-Droit Disponible 00486530 511.3 DAV Livre BUC Salle de lecture/Sci.-Méd. Disponible 00486514 511.3 DAV Livre BUC Salle de lecture/Sci.-Méd. Disponible 00486522 511.307 6 DAV Livre BUC Salle de lecture/Sci.-Méd. Disponible 00516948 511.307 6 DAV Livre BUC Salle de lecture/Sci.-Méd. Disponible 00517474 511.307 6 DAV Livre BUC Salle de lecture/Sci.-Méd. Disponible
Titre : Logique épistémique et philosophie des mathématiques Type de document : texte imprimé Auteurs : Paul Gochet, Auteur ; Philippe de Rouilhan, Auteur ; Thierry Martin, Éditeur scientifique ; Philippe Mongin, Éditeur scientifique Editeur : Paris [France] : Vuibert Année de publication : D.L. 2007 Collection : Philosophie des sciences, ISSN 1956-5798 Importance : 1 vol.(VIII-120 p.) Présentation : couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7117-4044-4 Langues : Français (fre) Catégories : [UNESCO_V2] 3 Culture:3.15 Philosophie et éthique:Épistémologie Mots-clés : Logique épistémique;Mathématique;Philosophie Index. décimale : 511.3 Logique symbolique (mathématque) Logique épistémique et philosophie des mathématiques [texte imprimé] / Paul Gochet, Auteur ; Philippe de Rouilhan, Auteur ; Thierry Martin, Éditeur scientifique ; Philippe Mongin, Éditeur scientifique . - Paris [France] : Vuibert, D.L. 2007 . - 1 vol.(VIII-120 p.) : couv. ill. ; 24 cm. - (Philosophie des sciences, ISSN 1956-5798) .
ISBN : 978-2-7117-4044-4
Langues : Français (fre)
Catégories : [UNESCO_V2] 3 Culture:3.15 Philosophie et éthique:Épistémologie Mots-clés : Logique épistémique;Mathématique;Philosophie Index. décimale : 511.3 Logique symbolique (mathématque) Exemplaires(2)
Code-barres Cote Support Localisation Section Disponibilité 00983205 164 GOC Livre BUC Salle de lecture/Let-Droit Disponible 00983197 511.3 GOC Livre BUC Salle de lecture/Let-Droit Disponible
Titre : Logique et philosophie mathématiques Type de document : texte imprimé Auteurs : Ferdinand Gonseth Editeur : Paris [France] : Hermann Année de publication : 1998. Collection : Savoir : cultures. Importance : 1 Vol. (189 p.) Présentation : couv. ill. Format : 21 cm. ISBN/ISSN/EAN : 2-7056-6363-X Prix : 180 F Catégories : [UNESCO_V2] 2 Science:2.15 Mathématiques et statistiques:Mathématiques:Logique mathématique Mots-clés : Logique symbolique;Mathématiques;Philosophie Index. décimale : 511.3 Logique symbolique (mathématque) Logique et philosophie mathématiques [texte imprimé] / Ferdinand Gonseth . - Paris [France] : Hermann, 1998. . - 1 Vol. (189 p.) : couv. ill. ; 21 cm.. - (Savoir : cultures.) .
ISSN : 2-7056-6363-X : 180 F
Catégories : [UNESCO_V2] 2 Science:2.15 Mathématiques et statistiques:Mathématiques:Logique mathématique Mots-clés : Logique symbolique;Mathématiques;Philosophie Index. décimale : 511.3 Logique symbolique (mathématque) Exemplaires(4)
Code-barres Cote Support Localisation Section Disponibilité 00274332 164 GON Livre BUC Salle de lecture/Let-Droit Disponible 00274357 511.3 GON Livre BUC Salle de lecture/Let-Droit Disponible 00274324 511.3 GON Livre BUC Salle de lecture/Let-Droit Disponible 00274340 511.3 GON Livre BUC Salle de lecture/Let-Droit Disponible
Titre : Logique, sémantique, métamathématique (1923-1944) : tome premier Type de document : texte imprimé Auteurs : Alfred Tarski (1901-1983), Auteur ; Gilles-Gaston Granger (1920-2016), Auteur Editeur : Paris [France] : Armand Colin Année de publication : impr. 1972 Collection : Philosophies pour l'âge de la Science Importance : 1 vol. (276 p.) Format : 24 cm Note générale : Catégories : [UNESCO_V2] 2 Science:2.15 Mathématiques et statistiques:Mathématiques Mots-clés : Métamathématique Sémantique Logique Index. décimale : 511.3 Logique symbolique (mathématque) Logique, sémantique, métamathématique (1923-1944) : tome premier [texte imprimé] / Alfred Tarski (1901-1983), Auteur ; Gilles-Gaston Granger (1920-2016), Auteur . - Paris [France] : Armand Colin, impr. 1972 . - 1 vol. (276 p.) ; 24 cm. - (Philosophies pour l'âge de la Science) .
Catégories : [UNESCO_V2] 2 Science:2.15 Mathématiques et statistiques:Mathématiques Mots-clés : Métamathématique Sémantique Logique Index. décimale : 511.3 Logique symbolique (mathématque) Exemplaires(3)
Code-barres Cote Support Localisation Section Disponibilité 01027968 511.3 TAR Livre BUC Reserve/Sci.- Médecine Disponible 00131938 51.01 TAR Livre BUC Salle de lecture/Let-Droit Disponible 00117648 51.01 TAR Livre BUC Salle de lecture/Let-Droit Disponible Permalink
