Nombre de documents archivés : 2.
Bélair, Luc et Duret, Jean-Louis (1994). « Indécidabilité des corps de courbe réelle ». The Journal of Symbolic Logic, 59(01), pp. 87-91.
Belair, Luc et Duret, Jean-Louis (1991). « Definissabilite dans les Corps de Fonctions p-Adiques ». Journal of Symbolic Logic, 56(3), pp. 783-785.