Ouvrages de Stéphane Devismes, Pascal Lafourcade, Michel Levy

1 article trouvé.

INFORMATIQUE THÉORIQUE - Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A)

INFORMATIQUE THÉORIQUE - Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A)

Stéphane Devismes, Pascal Lafourcade, Michel Levy

39,00 €