A partir de cette page vous pouvez :
Retourner au premier écran avec les étagères virtuelles... |
Catégories
> sciences naturelles > mathématiques > logique mathématique > théorème de complétude
théorème de complétude
13285005
Ajouter le résultat dans votre panier Affiner la recherche
Logique mathématique. 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés / René Cori (2003)
Titre : Logique mathématique. 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés Type de document : texte imprimé Auteurs : René Cori, Auteur ; Daniel Lascar, Auteur Editeur : Paris : Dunod Année de publication : 2003 Collection : Mathématiques ISBN/ISSN/EAN : 2-10-005452-x Catégories : algèbre de Boole
logique des prédicats
logique des propositions
logique mathématique
théorème de complétudeIndex. décimale : 517.11 Logique mathématique des propositions Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 111830 517.11/COR/l1 Ouvrage Bibliothèque CERIA Libre accès / Documentaires Disponible
Campus du CERIA, bâtiment 4a, 2ème étage | Avenue E. Gryzon 1, 1070 Anderlecht
Téléphone : 02/526.70.90 | Courriel :bibliotheque@spfb.brussels
Téléphone : 02/526.70.90 | Courriel :bibliotheque@spfb.brussels
TIPOS Consulting Haute École Lucia de Brouckère CERIA pmb