TY - CHAP AU - Lacombe, Daniel TI - Théorèmes de non-décidabilité BT - Séminaire Bourbaki : années 1962/63 - 1963/64, exposés 241-276 AU - Collectif T3 - Séminaire Bourbaki N1 - talk:266 PY - 1964 SP - 323 EP - 363 IS - 8 PB - Société mathématique de France UR - http://archive.numdam.org/item/SB_1962-1964__8__323_0/ LA - fr ID - SB_1962-1964__8__323_0 ER -