@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é, dans Séminaire Bourbaki : années 1962/63 - 1963/64, exposés 241-276, Séminaire Bourbaki, no. 8 (1964), Exposé 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
), ) and ). - Undecidable theories. - Amsterdam, North-Nolland publishing Company, 1953 (Studies in Logic and the Foundations of Mathematics). | MR | Zbl
). - 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
