Bibliothèque de Faculté des mathématiques et de l'informatique
Détail d'une collection
Documents disponibles dans la collection (2)
Affiner la recherche Interroger des sources externes
| Titre : |
Logique mathématique : cours et exercices; 1, Calcul propositionnel, algèbres de Boole, calcul des prédicats |
| Type de document : |
texte imprimé |
| Auteurs : |
René Cori, Auteur ; Daniel Lascar (1942-....), Auteur ; Jean-Louis Krivine (1939-..), Préfacier, etc. |
| Editeur : |
Paris : Masson |
| Année de publication : |
1993 |
| Collection : |
Axiomes, ISSN 1243-4264 |
| Importance : |
385 p. |
| Présentation : |
couv. ill. en coul., ill. |
| Format : |
24 cm. |
| ISBN/ISSN/EAN : |
978-2-225-84079-1 |
| Note générale : |
Bibliogr., t. 1, p. 361-363 et t. 2, p. 323-325. Index. |
| Langues : |
Français (fre) |
| Index. décimale : |
04-07-Logique mathématique |
Logique mathématique : cours et exercices; 1, Calcul propositionnel, algèbres de Boole, calcul des prédicats [texte imprimé] / René Cori, Auteur ; Daniel Lascar (1942-....), Auteur ; Jean-Louis Krivine (1939-..), Préfacier, etc. . - Paris : Masson, 1993 . - 385 p. : couv. ill. en coul., ill. ; 24 cm.. - ( Axiomes, ISSN 1243-4264) . ISBN : 978-2-225-84079-1 Bibliogr., t. 1, p. 361-363 et t. 2, p. 323-325. Index. Langues : Français ( fre) |  |
Réservation
Réserver ce document
Exemplaires (1)
|
| 62915 | 04-07-24 | Livre | Bibliothèque de faculté d'informatique et mathématique | Mathématiques | Disponible |
| Titre : |
Logique mathématique : Cours et exercices; 2- Fonctions récursives, théorème de GÉodel, théorie des ensembles, théorie des modèles |
| Type de document : |
texte imprimé |
| Auteurs : |
René Cori, Auteur ; Daniel Lascar (1942-..), Auteur ; Jean-Louis Krivine (1939-..), Préfacier, etc. |
| Mention d'édition : |
2e tirage corrigé |
| Editeur : |
Paris : Masson |
| Année de publication : |
1994 |
| Collection : |
Axiomes, ISSN 1243-4264 |
| Importance : |
347 p. |
| Présentation : |
couv. ill. en coul., ill. |
| Format : |
24 cm. |
| ISBN/ISSN/EAN : |
978-2-225-84080-7 |
| Note générale : |
Bibliogr. p.323-325. Index. |
| Langues : |
Français (fre) |
| Index. décimale : |
04-07-Logique mathématique |
Logique mathématique : Cours et exercices; 2- Fonctions récursives, théorème de GÉodel, théorie des ensembles, théorie des modèles [texte imprimé] / René Cori, Auteur ; Daniel Lascar (1942-..), Auteur ; Jean-Louis Krivine (1939-..), Préfacier, etc. . - 2e tirage corrigé . - Paris : Masson, 1994 . - 347 p. : couv. ill. en coul., ill. ; 24 cm.. - ( Axiomes, ISSN 1243-4264) . ISBN : 978-2-225-84080-7 Bibliogr. p.323-325. Index. Langues : Français ( fre) | |
Réservation
Réserver ce document
Exemplaires (1)
|
| 62920 | 04-07-25 | Livre | Bibliothèque de faculté d'informatique et mathématique | Mathématiques | Disponible |
Accueil
Sélection de la langue
Adresse
Faculté des Mathématiques et de l'Informatique
Bibliothèque de Faculté
31000 Oran
Algérie
(213)041560000
Université des Sciences et de la Technologie Mohamed Boudiaf d'Oran
