Calcul propositionnel, algèbre de Boole, calcul des prédicats, 1. Logique mathématique / Daniel Lascar

Public ISBD Titre de série : Calcul propositionnel, algèbre de Boole, calcul des prédicats, 1 Titre : Logique mathématique : Cours et exercices corrigés Type de document : texte imprimé Auteurs : Daniel Lascar (1942-....), ; Jean-Louis Krivine, Année de publication : 2021 Importance : 1 vol. (385 p.) Présentation : couv. ill. en coul. Format : 24 cm. ISBN/ISSN/EAN : 978-2-10-082514-1 Langues : Français (fre) Catégories : Mathématique Mots-clés : Mathématique Index. décimale : 511.3 Logique mathématique Côte titre : Fs/24741-24743 Calcul propositionnel, algèbre de Boole, calcul des prédicats, 1. Logique mathématique : Cours et exercices corrigés [texte imprimé] / Daniel Lascar (1942-....), ; Jean-Louis Krivine,  . - 2021 . - 1 vol. (385 p.) : couv. ill. en coul. ; 24 cm. ISBN : 978-2-10-082514-1 Langues : Français (fre) Catégories : Mathématique Mots-clés : Mathématique Index. décimale : 511.3 Logique mathématique Côte titre : Fs/24741-24743

Exemplaires (3)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/24741	Fs/24741-24743	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/24742	Fs/24741-24743	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/24743	Fs/24741-24743	Livre	Bibliothéque des sciences	Français	Disponible Disponible

---

1 (1 - 1 / 1)