Chargement...
Chargement...
  1. Auteur
  2. Duparc, Jacques

Livres Jacques Duparc

Auteur

Support

Série
Disponibilité

1
La logique pas à pas
La logique pas à pas
Auteur : Jacques Duparc
Éditeur(s) : Presses polytechniques et universitaires romandes
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. ©Electre 2025
59,00 €
Chargement...
1