Résolutions libres finies: Méthodes constructives

Auteur(s) : Thierry COQUAND, Henri Lombardi, Claude Quitté

Editeur : CALVAGE MOUNET ›