Calcul en logique du premier ordreLivre électroniqueCalcul en logique du premier ordredeYves BouchardÉvaluation : 0 sur 5 étoiles0 évaluationEnregistrer Calcul en logique du premier ordre pour plus tard