Chargement...
Chargement...
Auteur Duparc, Jacques
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