%0 Book Section %A Lacombe, Daniel %T Théorèmes de non-décidabilité %B Séminaire Bourbaki : années 1962/63 - 1963/64, exposés 241-276 %A Collectif %S Séminaire Bourbaki %Z talk:266 %D 1964 %P 323-363 %N 8 %I Société mathématique de France %U http://archive.numdam.org/item/SB_1962-1964__8__323_0/ %G fr %F SB_1962-1964__8__323_0