René Cori, Daniel Lascar, "Logique , tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats"

Posted By: TimMa
Date: Dec. 9, 2020

René Cori, Daniel Lascar, "Logique mathématique, tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats"
2003 | ISBN: 210005452X | Français | PDF | 406 pages | 56.5 MB

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.