Titre : |
Introduction to proofs in mathematics |
Type de document : |
texte imprimé |
Auteurs : |
James Franklin, Auteur ; Albert Daoud, Auteur |
Editeur : |
Upper Saddle River, NJ : Prentice Hall |
Année de publication : |
1988 |
Importance : |
175 p. |
Présentation : |
couv en coul ill Graphic |
Format : |
24cm |
ISBN/ISSN/EAN : |
978-0-7248-1009-3 |
Langues : |
Anglais (eng) |
Catégories : |
MATHEMATIQUE
|
Mots-clés : |
Mathematics Vector spaces Counting Non-deductive logic .... |
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). |
Introduction to proofs in mathematics [texte imprimé] / James Franklin, Auteur ; Albert Daoud, Auteur . - Upper Saddle River, NJ : Prentice Hall, 1988 . - 175 p. : couv en coul ill Graphic ; 24cm. ISBN : 978-0-7248-1009-3 Langues : Anglais ( eng)
Catégories : |
MATHEMATIQUE
|
Mots-clés : |
Mathematics Vector spaces Counting Non-deductive logic .... |
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). |
| |