Logique mathématique / René Cori

Public ISBD 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) Index. décimale : 04-07-Logique mathématique

Réservation

Réserver ce document

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
62915	04-07-24	Livre	Bibliothèque de faculté d'informatique et mathématique	Mathématiques	Disponible

---

1 (1 - 1 / 1) Par page : 25 50 100 200