Le site est de retour en ligne. Cependant, nous effectuons encore des tests et il est possible que le site soit instable durant les prochaines heures. 🙏
SensCritique>Livres>Essai>Logique mathématique, tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats>Details
Logique mathématique, tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats
Fiche technique
Auteurs :
Daniel Lascar, René CoriGenre : EssaiDate de publication (pays d'origine) : 15 janvier 2003Langue d'origine : FrançaisÉditeur :
DunodISBN : 978-2100054527Résumé : Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude.
