Éditeur : PRESSES POLY ET UNIV ROMANDES
ISBN papier: 9782889151264
Parution : 2019
Code produit : 1330402
Catégorisation :
Livres /
Science /
Mathématique /
Aide et mise à niveau
Format | Qté. disp. | Prix* | Commander |
---|---|---|---|
Livre papier | En rupture de stock** |
Prix membre : 91,15 $ Prix non-membre : 95,95 $ |
*Les prix sont en dollars canadien. Taxes et frais de livraison en sus.
**Ce produits est en rupture de stock mais sera expédié dès qu'ils sera disponible.
Fondée sur les jeux, cette introduction à la logique aborde les logiques propositionnelles, modales, du premier et du second ordre, la récursivité et la correspondance preuves-programme.