R'esolution d"equations dans les langages d'ordre 1,2. . . !. Th`ese de doctorat d"etat, Universit'e de Paris VII (1976)

by G Huet