Université Nouveaux Horizons
![Document: texte imprimé Document: texte imprimé](http://biblio.unhorizons.org/opac_css/images/icon_a_16x16.gif)
Titre : |
La logique amusante |
Type de document : |
texte imprimé |
Auteurs : |
Rolin Wavre, Auteur |
Editeur : |
Mont-blanc |
Année de publication : |
1946 |
Importance : |
76 p. |
Présentation : |
nn ill |
Format : |
19 cm |
Langues : |
Français (fre) |
Catégories : |
MATHEMATIQUE
|
Mots-clés : |
Mathématiques Petites antinomies Joute hellénistique ... |
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). |
La logique amusante [texte imprimé] / Rolin Wavre, Auteur . - Mont-blanc, 1946 . - 76 p. : nn ill ; 19 cm. Langues : Français ( fre)
Catégories : |
MATHEMATIQUE
|
Mots-clés : |
Mathématiques Petites antinomies Joute hellénistique ... |
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