Université Nouveaux Horizons
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 511.3 (33)
Affiner la recherche Interroger des sources externes
An introduction to logic and scientific method / Ernest Nagel
Titre : An introduction to logic and scientific method : Problems in the logic of scientific explanation Type de document : texte imprimé Auteurs : Ernest Nagel, Auteur ; Morris R. Cohen, Auteur Editeur : London : Routledge & Kegan Paul Année de publication : 1963 Importance : 618 p. Présentation : nn ill Format : 24 cm ISBN/ISSN/EAN : 0710011979 Note générale :
Langues : Anglais (eng) Catégories : MATHEMATIQUE Mots-clés : Mathématics Formal logic Applied logic and scientific method ... Index. décimale : 511.3 Logique mathématique (axiome du choix, axiomes, calcul des prédicats, calcul propositionnel, décidabilité,
hypothèses, langages formels, logique symbolique, opérateurs logiques, théorème de complétude, théorème
de Gödel, théorie des types).Résumé :
An introduction to logic and scientific method : Problems in the logic of scientific explanation [texte imprimé] / Ernest Nagel, Auteur ; Morris R. Cohen, Auteur . - London : Routledge & Kegan Paul, 1963 . - 618 p. : nn ill ; 24 cm.
ISSN : 0710011979
Langues : Anglais (eng)
Catégories : MATHEMATIQUE Mots-clés : Mathématics Formal logic Applied logic and scientific method ... Index. décimale : 511.3 Logique mathématique (axiome du choix, axiomes, calcul des prédicats, calcul propositionnel, décidabilité,
hypothèses, langages formels, logique symbolique, opérateurs logiques, théorème de complétude, théorème
de Gödel, théorie des types).Résumé :
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire Aventures mathématiques / Miguel de Guzmán
Titre : Aventures mathématiques Type de document : texte imprimé Auteurs : Miguel de Guzmán (1936-....), Auteur ; Elisabeth SCHEMITT, Traducteur Editeur : Lausanne : Presses polytechniques romandes Année de publication : 1990 Importance : 172 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-88074-171-6 Langues : Français (fre) Catégories : MATHEMATIQUE Mots-clés : Mathématiques Région perdue Courbe polyvalente ... Index. décimale : 511.3 Logique mathématique (axiome du choix, axiomes, calcul des prédicats, calcul propositionnel, décidabilité,
hypothèses, langages formels, logique symbolique, opérateurs logiques, théorème de complétude, théorème
de Gödel, théorie des types).Aventures mathématiques [texte imprimé] / Miguel de Guzmán (1936-....), Auteur ; Elisabeth SCHEMITT, Traducteur . - Lausanne : Presses polytechniques romandes, 1990 . - 172 p. : ill. ; 24 cm.
ISBN : 978-2-88074-171-6
Langues : Français (fre)
Catégories : MATHEMATIQUE Mots-clés : Mathématiques Région perdue Courbe polyvalente ... Index. décimale : 511.3 Logique mathématique (axiome du choix, axiomes, calcul des prédicats, calcul propositionnel, décidabilité,
hypothèses, langages formels, logique symbolique, opérateurs logiques, théorème de complétude, théorème
de Gödel, théorie des types).Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire Cours de logique mathématique / Roland Fraisse
Titre : Cours de logique mathématique : Relation et formule logique Type de document : texte imprimé Auteurs : Roland Fraisse, Auteur Mention d'édition : Tome 1 Editeur : Gauthier-Villars Année de publication : 1971 Importance : 197 p. Présentation : nn ill Format : 24cm Langues : Français (fre) Catégories : MATHEMATIQUE Mots-clés : Mathématiques Valeurs Relation Isomorphisme Automorphisme etc Index. décimale : 511.3 Logique mathématique (axiome du choix, axiomes, calcul des prédicats, calcul propositionnel, décidabilité,
hypothèses, langages formels, logique symbolique, opérateurs logiques, théorème de complétude, théorème
de Gödel, théorie des types).Cours de logique mathématique : Relation et formule logique [texte imprimé] / Roland Fraisse, Auteur . - Tome 1 . - Gauthier-Villars, 1971 . - 197 p. : nn ill ; 24cm.
Langues : Français (fre)
Catégories : MATHEMATIQUE Mots-clés : Mathématiques Valeurs Relation Isomorphisme Automorphisme etc Index. décimale : 511.3 Logique mathématique (axiome du choix, axiomes, calcul des prédicats, calcul propositionnel, décidabilité,
hypothèses, langages formels, logique symbolique, opérateurs logiques, théorème de complétude, théorème
de Gödel, théorie des types).Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire Cours de logique mathématique / Roland Fraisse
Titre : Cours de logique mathématique : Théorie des modèles Type de document : texte imprimé Auteurs : Roland Fraisse, Auteur Mention d'édition : Tome 2 Editeur : Gauthier-Villars Année de publication : 1972 Collection : Logique mathématique Importance : 177p. Présentation : nn ill Format : 24cm Langues : Français (fre) Catégories : MATHEMATIQUE Mots-clés : Mathématiques Ultraproduit Forcing ... Index. décimale : 511.3 Logique mathématique (axiome du choix, axiomes, calcul des prédicats, calcul propositionnel, décidabilité,
hypothèses, langages formels, logique symbolique, opérateurs logiques, théorème de complétude, théorème
de Gödel, théorie des types).Cours de logique mathématique : Théorie des modèles [texte imprimé] / Roland Fraisse, Auteur . - Tome 2 . - Gauthier-Villars, 1972 . - 177p. : nn ill ; 24cm. - (Logique mathématique) .
Langues : Français (fre)
Catégories : MATHEMATIQUE Mots-clés : Mathématiques Ultraproduit Forcing ... Index. décimale : 511.3 Logique mathématique (axiome du choix, axiomes, calcul des prédicats, calcul propositionnel, décidabilité,
hypothèses, langages formels, logique symbolique, opérateurs logiques, théorème de complétude, théorème
de Gödel, théorie des types).Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire Elementary logic / Willard Van Orman Quine
Titre : Elementary logic Type de document : texte imprimé Auteurs : Willard Van Orman Quine, Auteur Editeur : New York : Harper & Row Année de publication : 1965 Importance : 129 p Présentation : nn ill. Format : 20 cm Langues : Anglais (eng) Catégories : MATHEMATIQUE Mots-clés : Mathematics Logic Grouping Quantification etc Index. décimale : 511.3 Logique mathématique (axiome du choix, axiomes, calcul des prédicats, calcul propositionnel, décidabilité,
hypothèses, langages formels, logique symbolique, opérateurs logiques, théorème de complétude, théorème
de Gödel, théorie des types).Elementary logic [texte imprimé] / Willard Van Orman Quine, Auteur . - New York : Harper & Row, 1965 . - 129 p : nn ill. ; 20 cm.
Langues : Anglais (eng)
Catégories : MATHEMATIQUE Mots-clés : Mathematics Logic Grouping Quantification etc Index. décimale : 511.3 Logique mathématique (axiome du choix, axiomes, calcul des prédicats, calcul propositionnel, décidabilité,
hypothèses, langages formels, logique symbolique, opérateurs logiques, théorème de complétude, théorème
de Gödel, théorie des types).Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire Eléments de logique / G. Haury
PermalinkEléments de logique mathématique / G. Kreisel
PermalinkFonctions logique et raisonnement / Michel Chastellain
PermalinkIntroduction à la logique / André Delessert
PermalinkIntroduction à la logique / Alfred Tarski
PermalinkIntroduction à la logique contemporaine / Robert Blanché
PermalinkIntroduction à la logique mathématique / P.S. Novikov
PermalinkIntroduction to mathematical logic / Jerome Malitz
PermalinkIntroduction to proofs in mathematics / James Franklin
PermalinkLogic for mathematicians / A. G. Hamilton
Permalink