La logique, pas à pas
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 2017
Enregistré dans:
Auteur principal : | |
---|---|
Format : | Manuel |
Langue : | français |
Titre complet : | La logique, pas à pas / Jacques Duparc |
Publié : |
Lausanne :
Presses polytechniques et universitaires romandes
, C 2015 |
Description matérielle : | 1 vol. (570 p.) |
Sujets : |
Chargement en cours