Université Nouveaux Horizons
Détail de l'auteur
Auteur P.S. Novikov |
Documents disponibles écrits par cet auteur (1)
Affiner la recherche Interroger des sources externes
Introduction à la logique mathématique / P.S. Novikov
Titre : Introduction à la logique mathématique Type de document : texte imprimé Auteurs : P.S. Novikov, Auteur ; CH SARTHOU, Traducteur Editeur : Paris : Dunod Année de publication : 1964 Importance : 332 p. Présentation : nn ill Format : 24cm Langues : Français (fre) Catégories : MATHEMATIQUE Mots-clés : Mathématiques Algèbre des propositions Calul des propositions Logique des prédicats ... 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 à la logique mathématique [texte imprimé] / P.S. Novikov, Auteur ; CH SARTHOU, Traducteur . - Paris : Dunod, 1964 . - 332 p. : nn ill ; 24cm.
Langues : Français (fre)
Catégories : MATHEMATIQUE Mots-clés : Mathématiques Algèbre des propositions Calul des propositions Logique des prédicats ... 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
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire