TY - THES DP - http://www.theses.fr/1996CAEN2024 TI - Hierarchies de definissabilite logique au second ordre AU - DURAND, ARNAUD A3 - Grandjean, Étienne PY - 1996 SP - 101 P. N1 - Thèse de doctorat Sciences appliquées Caen 1996 N1 - 1996CAEN2024 ER -