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é : |
|
| ![An introduction to logic and scientific method vignette](http://biblio.unhorizons.org/opac_css/getimage.php?url_image=http%3A%2F%2Fimages-eu.amazon.com%2Fimages%2FP%2F%21%21isbn%21%21.08.MZZZZZZZ.jpg¬icecode=0710011979¬ice_id=&vigurl=) |