TY - JOUR AU - Dress, François TI - Logique mathématique et analyse non-standard JO - Séminaire de théorie des nombres de Bordeaux N1 - talk:13 PY - 1968-1969 SP - 1 EP - 12 PB - Laboratoire de théorie des nombres - Université de Bordeaux I UR - http://www.numdam.org/item/STNB_1968-1969____A13_0/ LA - fr ID - STNB_1968-1969____A13_0 ER -