CATALOGUE DES BIBLIOTHEQUES DE L'UNIVERSITE DU BURUNDI


Bienvenue au Catalogue en Ligne des Bibliothèques de l'Universite du Burundi

Cori(René).

Logique mathématique : calcul propositionnel, algèbre de boole, calcul des prédicats; cours et exercices corrigés / René Cori, Daniel Lascar ; Jean Louis Krivine, Préf. . - Paris : Dunod, 2003 . - XV-385 p. ; 24 cm. - Sciences Sup. .

Bibliogr.Index

don

517.11
© 2019-2025 - Bibliothèques de l'Université du Burundi |Tous droits réservés
home | Contact nous | tel : +25779204313