Stéphane Desvismes
Se connecter
Les propositions
Les favoris
Les échanges
Aide
Stéphane Desvismes
Tous (1)
Propositions (0)
Favoris (0)
Accueil
Panier
Messages
Notifications
Compte
Informatique théorique : logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre (niveau A IUT-BTS-1er cycle)
Michel Lévy
,
Stéphane Desvismes
,
Pascal Lafourcade
0
0
