Institution: | (1) Université de Caen-CNRS, ESA 6081, Laboratoire SDAD, Campus 2, 14032 Caen Cedex, France. e-mail: matet@math.unicaen.fr, FR;(2) Université Paris 7-CNRS, UPRESA 7056, Equipe de Logique Mathématique, T45/55 5ème étage, 2, place Jussieu - Case 7012, 75251 Paris Cedex 05, France e-mail: stevo@logique.jussieu.fr, FR |