Introduction à la logique : théorie de la démonstration : cours et exercices corrigés

Introduction à la logique : théorie de la démonstration cours et exercices corrigés

Enregistré dans:
Détails bibliographiques
Auteurs principaux : David René (Auteur), Nour Karim (Auteur), Raffalli Christophe (Auteur)
Format : Manuel
Langue : français
Titre complet : Introduction à la logique : théorie de la démonstration : cours et exercices corrigés / René David,... Karim Nour,... Christophe Raffalli,...
Publié : Paris : Dunod , DL 2001
Description matérielle : 1 vol. (XII-332 p.)
Collection : Sciences sup
Sujets :
Théorèmes > Démonstration automatique
Logique > Mathématiques
Logique intuitionniste
Logique mathématique

Bib. CRDM (Mathématiques)

Informations d'exemplaires de Bib. CRDM (Mathématiques)
‌ Cote Prêt Statut
Bibliothèque 104B118 Prêt sans prolongation Disponible