Université Nouveaux Horizons
![Document: texte imprimé Document: texte imprimé](http://biblio.unhorizons.org/opac_css/images/icon_a_16x16.gif)
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