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
Paru le : 29/10/2015
Thématique : Mathématiques 1er Cycle
Auteur(s) : Auteur : Jacques Duparc
Éditeur(s) :
Presses polytechniques et universitaires romandes
Collection(s) : Enseignement des mathématiques
Série(s) : Non précisé.
ISBN : 978-2-88915-126-4
EAN13 : 9782889151264
Reliure : Broché
Pages : 570
Hauteur: 24.0 cm / Largeur 17.0 cm
Épaisseur: 3.5 cm
Poids: 1088 g
Carte fidélité
Mollat Radio
