Théorèmes de non-décidabilité
Séminaire Bourbaki : années 1962/63 - 1963/64, exposés 241-276, Séminaire Bourbaki, no. 8 (1964), Talk no. 266, p. 323-363
@incollection{SB_1962-1964__8__323_0,
     author = {Lacombe, Daniel},
     title = {Th\'eor\`emes de non-d\'ecidabilit\'e},
     booktitle = {S\'eminaire Bourbaki : ann\'ees 1962/63 - 1963/64, expos\'es 241-276},
     author = {Collectif},
     series = {S\'eminaire Bourbaki},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {8},
     year = {1964},
     note = {talk:266},
     pages = {323-363},
     zbl = {0154.25705},
     mrnumber = {175786},
     language = {fr},
     url = {http://www.numdam.org/item/SB_1962-1964__8__323_0}
}
Lacombe, Daniel. Théorèmes de non-décidabilité, in Séminaire Bourbaki : années 1962/63 - 1963/64, exposés 241-276, Séminaire Bourbaki, no. 8 (1964), Talk no. 266, pp. 323-363. http://www.numdam.org/item/SB_1962-1964__8__323_0/

Davis (Martin). - Computability and unsolvability. - New York, McGraw-Hill Book Company, 1958 (McGraw-Hill Series in Information Processing and Computers). | MR 124208 | Zbl 0080.00902

Grzegorzyk (Andrzej). - Fonctions récursives. - Paris, Gauthier-Villars, 1961 (Collection de Logique mathématique, Série A, 17). | Zbl 0101.25003

Kleene (S.C.). - Introduction to metamathematics. - Amsterdam, North-Holland publishing Company ; Groningen, Noordhoff, 1952 (Bibliotheca Mathematica, 1). | Zbl 0047.00703

Smullyan (Raymond M.). - Theory of formal systems. - Princeton, Princeton University Press, 1961 (Annals of Mathematics Studies, 47). | MR 152429 | Zbl 0097.24503

Putnam (Hilary). - An unsolvable problem in number theory, J. of symb. Logio, t. 25, 1960, p. 220-232. | MR 158825 | Zbl 0108.00701

Higman (G.). - Subgroups of finitely presented groups, Proc. Royal Soc. London, Series A, t. 262, 1961, p. 455-475. | MR 130286 | Zbl 0104.02101

Markov (A.A.). - The problem of homeomorphy [en russe], Proc. Intern. Congr. of Math. [1958. Edinburgh], p. 300-306. - Cambridge, at the University Press, 1960. | MR 115160 | Zbl 0119.25201

Rabin (Michael O. ) . - Recursive unsolvability of group theoretic problems, Annals of Math., Series 2, t. 67, 1958, p. 172-194. | MR 110743 | Zbl 0079.24802

Stallings (J.R.). - On the recursiveness of sets of presentations of 3-manifold groups, Fund. Math., t. 51, 1962, p. 191-194. | MR 142112 | Zbl 0121.40006

Tarski (A.), Mostowski (A.) and Robinson (R.M.). - Undecidable theories. - Amsterdam, North-Nolland publishing Company, 1953 (Studies in Logic and the Foundations of Mathematics). | MR 58532 | Zbl 0053.00401

Lacombe (Daniel). - La théorie des fonctions récursives et ses applications (Exposé d'information générale), Bull. Soc. math. France, t. 88, 1960, p. 393-468. | Numdam | MR 122720 | Zbl 0156.25201