Titre : |
Eléments de logique |
Type de document : |
texte imprimé |
Auteurs : |
G. Haury, Auteur ; R; Lang, Auteur ; A. Olza, Auteur |
Editeur : |
Genève : Département de l'Instruction Publique |
Année de publication : |
1973 |
Importance : |
135 p. |
Présentation : |
couv en coul ill Tableau |
Format : |
21 cm |
ISBN/ISSN/EAN : |
978-2-602-00824-0 |
Langues : |
Français (fre) |
Catégories : |
MATHEMATIQUE
|
Mots-clés : |
Mathématiques Quantificateur Substitution Egalité ... |
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). |
Eléments de logique [texte imprimé] / G. Haury, Auteur ; R; Lang, Auteur ; A. Olza, Auteur . - Genève : Département de l'Instruction Publique, 1973 . - 135 p. : couv en coul ill Tableau ; 21 cm. ISBN : 978-2-602-00824-0 Langues : Français ( fre)
Catégories : |
MATHEMATIQUE
|
Mots-clés : |
Mathématiques Quantificateur Substitution Egalité ... |
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). |
| ![Eléments de logique vignette](http://biblio.unhorizons.org/opac_css/images/vide.png) |