Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre - Pascal Lafourcade, Michel Lévy et Stéphane Desvismes
39.00 EUR
Partager: ![]()
![]()
![]()
![]()
![]()
![]()
Sponsorisé
FNAC BE
INFORMATIQUE THÉORIQUE - Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A)
FNAC BE
18-05-2026 03:15:04
