description: 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.
language: French
title: Logique mathématique - Tome 1 - Calcul propositionnel, algèbres de Boole, calcul des prédicats
titlecomplete: Logique mathématique - Tome 1 - Calcul propositionnel, algèbres de Boole, calcul des prédicats
genres: Mathematics
ratings_count: 5
publisher: DUNOD