Catalogue en ligne <a href='https://www.univ-usto.dz/faculte/fac-mecanique/bibliotheque/' target=_blank>Université des sciences et de la technologie Bibliothèque IGCMO Faculté de Génie mécanique et Génie maritime</a>

Bibliothèque de Faculté de Génie Mécanique IGCMO

faculté de Génie Mecanique SndL IQRAA

Nouvelle recherche

Collection Axiomes

Editeur :

Masson

ISSN :

1243-4264

Documents disponibles dans la collection (1)

Affiner la recherche Interroger des sources externes

Logique mathématique / René CORI

Public

ISBD

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 .

Réservation
Réserver ce document

Exemplaires(1)

Code-barres numéro d'inventaire Cote Support Localisation Section Disponibilité

62924 04-07-0025 Livre Bibliothèque IGCMO Documentaires Disponible