Nantilus
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 : |
| Résumé : | 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 |
|---|---|
| Titre de couverture : | La logique, pas à pas : spécialement conçu pour les buses en maths et les manchots de la logique |
| Bibliographie : | Bibliogr. p. [553]-559. Bibliogr. dispersée. Notes bilbliogr. Index |
| ISBN : | 978-2-88915-126-4 |