Titre :	Logique : Volume 2 : Méthodes formelles pour l'étude des programmes
Type de document :	texte imprimé
Auteurs :	Paul Gochet, Auteur ; Pascal Gribomont, Auteur
Editeur :	Paris : Hermès
Année de publication :	1994
Collection :	Langue, raisonnement, calcul, ISSN 0988-0569
ISBN/ISSN/EAN :	978-2-86601-395-0
Catégories :	Mathématiques Mathématiques:Principes généraux des mathématiques
Mots-clés :	Logique symbolique et mathématique
Index. décimale :	511 Principes généraux des mathématiques

Logique : Volume 2 : Méthodes formelles pour l'étude des programmes [texte imprimé] / Paul Gochet, Auteur ; Pascal Gribomont, Auteur . - Paris : Hermès, 1994. - (Langue, raisonnement, calcul, ISSN 0988-0569) .
ISBN : 978-2-86601-395-0

Catégories :	Mathématiques Mathématiques:Principes généraux des mathématiques
Mots-clés :	Logique symbolique et mathématique
Index. décimale :	511 Principes généraux des mathématiques