Résolution d’équations dans les langages d’ordre 1,2 (1976)

by G P Huet