Titre : |
Logic, proof, and sets |
Type de document : |
texte imprimé |
Auteurs : |
Marvin L. Bittinger, Auteur |
Mention d'édition : |
2nd ed. |
Editeur : |
Reading, Mass. : Addison-Wesley |
Année de publication : |
1982 |
Importance : |
131 p. |
Présentation : |
ill. Graphic & Tableaux |
Format : |
24 cm |
ISBN/ISSN/EAN : |
978-0-201-10384-7 |
Note générale : |
Includes index. |
Langues : |
Anglais (eng) |
Catégories : |
MATHEMATIQUE
|
Mots-clés : |
Mathematics Logic Proof Sets ... |
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é : |
Includes index. |
Logic, proof, and sets [texte imprimé] / Marvin L. Bittinger, Auteur . - 2nd ed. . - Reading, Mass. : Addison-Wesley, 1982 . - 131 p. : ill. Graphic & Tableaux ; 24 cm. ISBN : 978-0-201-10384-7 Includes index. Langues : Anglais ( eng)
Catégories : |
MATHEMATIQUE
|
Mots-clés : |
Mathematics Logic Proof Sets ... |
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é : |
Includes index. |
| ![Logic, proof, and sets 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=9780201103847¬ice_id=&vigurl=) |