Résolution d’equations dans les langages d’ordre 1,2, ...,ω. Thèse de Doctorat d’Etat, Université de Paris 7 (1976)

by G Huet