Logique mathématique. Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés

Logique mathématique. cours et exercices corrigés 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats :

Gardado en:
Detalles Bibliográficos
Auteurs principaux: Cori, René, 1949-...., mathématicien, Lascar, Daniel, 1942- (Auteur)
Outros autores: Krivine, Jean-Louis, 1939- (Auteur de l'introduction, etc.)
Formato: Livre papier
Idioma:Français
Publicado: Paris : Dunod DL 2003.
Series:Sciences sup
Sujets:
Calcul des prédicats
Boole, Algèbre de
Calcul des propositions
Manuels d'enseignement supérieur
Problèmes et exercices
Nota: Autres tirages : 2005, 2007, 2010, 2011, 2014, 2015, 2018, 2021
Autres localisations: Voir dans le Sudoc
Variante du titre:Calcul propositionnel, algèbre de Boole, calcul des prédicats

Bourges - BU

Detalle de Existencias desde Bourges - BU
  Localización Número de Clasificación Type de prêt Statut
RDC, Mathématiques Physique Chimie 511.3 COR Empruntable Dispoñible

INSA CVL Bourges

Detalle de Existencias desde INSA CVL Bourges
Notes: En bureau
  Localización Número de Clasificación Type de prêt Statut
Mathématiques 511.3 COR Empruntable Dispoñible
Département Mathématiques 511.3 COR Exclu du prêt Dispoñible

Orléans - BU Sciences Technologies STAPS

Detalle de Existencias desde Orléans - BU Sciences Technologies STAPS
  Localización Número de Clasificación Type de prêt Statut
Mathématiques, 1er étage 511.3 COR Empruntable Dispoñible
Mathématiques, 1er étage 511.3 COR Empruntable Dispoñible
Magasin B7619-1 Empruntable Dispoñible

Orléans - Bibliotheque de l'Institut Denis Poisson (Ex MAPMO)

Detalle de Existencias desde Orléans - Bibliotheque de l'Institut Denis Poisson (Ex MAPMO)
Notes: A demander à la BU Sciences
  Localización Número de Clasificación Type de prêt Statut
Petite salle de lecture AG COR3188 Prêt sous conditions Dispoñible
Petite salle de lecture A 7342 COR Prêt sous conditions Dispoñible

Títulos similares