CATALOGUE DES BIBLIOTHEQUES DE L'UNIVERSITE DU BURUNDI


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

Logique mathématique calcul propositionnel, algèbre de boole, calcul des prédicats; cours et exercices corrigés

Additional authors: aut. -- Lascar, Daniel | préf. -- Krivine, Jean-Louis
Series: Sciences Sup. Published by : Dunod (Paris) Physical details: XV-385 p. 24 cm. Year: 2003
Item type Current location Call number Copy number Status Date due Barcode
BOOK BOOK Bibliothèque Centrale
517.11 COR.V.1 (Browse shelf) 1 Available 5010000322397

Bibliogr.Index

There are no comments on this title.

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