R'esolution d"equations dans des langages d'ordre 1,2 (1976)

by G P Huet