@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}, series = {S\'eminaire Bourbaki}, note = {talk:266}, pages = {323--363}, publisher = {Soci\'et\'e math\'ematique de France}, number = {8}, year = {1964}, mrnumber = {175786}, zbl = {0154.25705}, language = {fr}, url = {http://www.numdam.org/item/SB_1962-1964__8__323_0/} }
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://www.numdam.org/item/SB_1962-1964__8__323_0/ LA - fr ID - SB_1962-1964__8__323_0 ER -
%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://www.numdam.org/item/SB_1962-1964__8__323_0/ %G fr %F 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, 41 p. http://www.numdam.org/item/SB_1962-1964__8__323_0/
Computability and unsolvability. - New York, McGraw-Hill Book Company, 1958 (McGraw-Hill Series in Information Processing and Computers). | MR | Zbl
). -Fonctions récursives. - Paris, Gauthier-Villars, 1961 (Collection de Logique mathématique, Série A, 17). | Zbl
). -Introduction to metamathematics. - Amsterdam, North-Holland publishing Company ; Groningen, Noordhoff, 1952 (Bibliotheca Mathematica, 1). | Zbl
). -Theory of formal systems. - Princeton, Princeton University Press, 1961 (Annals of Mathematics Studies, 47). | MR | Zbl
). -An unsolvable problem in number theory, J. of symb. Logio, t. 25, 1960, p. 220-232. | MR | Zbl
). -Subgroups of finitely presented groups, Proc. Royal Soc. London, Series A, t. 262, 1961, p. 455-475. | MR | Zbl
). -The problem of homeomorphy [en russe], Proc. Intern. Congr. of Math. [1958. Edinburgh], p. 300-306. - Cambridge, at the University Press, 1960. | MR | Zbl
). -Recursive unsolvability of group theoretic problems, Annals of Math., Series 2, t. 67, 1958, p. 172-194. | MR | Zbl
) . -On the recursiveness of sets of presentations of 3-manifold groups, Fund. Math., t. 51, 1962, p. 191-194. | MR | Zbl
). -Undecidable theories. - Amsterdam, North-Nolland publishing Company, 1953 (Studies in Logic and the Foundations of Mathematics). | MR | Zbl
), ) and ). -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 | Zbl
). -