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
09-01-2026 03:08:47
