Titre :	Logique mathématique : cours et exercices fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles
Type de document :	texte imprimé
Auteurs :	René CORI, Auteur ; Daniel LASCAR, Auteur
Editeur :	Masson
Année de publication :	1993
Collection :	Axiomes, ISSN 1243-4264
Importance :	347 P.
Présentation :	ill,
Format :	16cm x 24cm
ISBN/ISSN/EAN :	978-2-225-84080-7
Langues :	Français (fre)
Catégories :	Mathematique:07 Logique mathematique
Mots-clés :	Logique mathématique  Calcul propositionnel  Algèbre de Boole  Topologie  Homomorphismes  Syntaxe  Les structures .

Logique mathématique : cours et exercices fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles [texte imprimé] / René CORI, Auteur ; Daniel LASCAR, Auteur . - Masson, 1993 . - 347 P. : ill, ; 16cm x 24cm. - (Axiomes, ISSN 1243-4264) .
ISBN : 978-2-225-84080-7
Langues : Français (fre)

Catégories :	Mathematique:07 Logique mathematique
Mots-clés :	Logique mathématique  Calcul propositionnel  Algèbre de Boole  Topologie  Homomorphismes  Syntaxe  Les structures .