Auteur (1)

Citation Koha Sudoc
Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre / Stéphane Devismes,... Pascal Lafourcade,... Michel Lévy,... / Paris : Ellipses Koha Sudoc