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:
Détails bibliographiques
| Auteur principal : |
Duparc Jacques
(Auteur) |
| 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 : |
|
Nantilus
