, Why G??del didn't have church's thesis, Information and Control, vol.54, issue.1-2, pp.3-24, 1982.
DOI : 10.1016/S0019-9958(82)91226-8
, Emil L. Post. His life and work, p.xi?xviii, 1994.
, Solvability, provability, definability. The collected works of Emil L, 1994.
, American Logic in the 1920s, Bulletin of Symbolic Logic, vol.28, issue.03, pp.273-278, 1995.
DOI : 10.2307/2370324
, Proofs and Refutations. The logic of mathematical discovery Some high-speed logic, Experimental Arithmetic , High Speed Computing and Mathematics of Proceedings of Symposia in Applied Mathematics, pp.141-376, 1963.
, A survey of Symbolic Logic, 1918.
, Closing the circle: An analysis of Emil Post's early work. The Bulletin of Symbolic Logic, pp.267-289, 2006.
, Solvability of the halting and reachability problem for binary 2-tag systems, Fundamenta Informaticae, vol.99, issue.4, pp.435-471, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01396536
, Introduction to a General Theory of Elementary Propositions, American Journal of Mathematics, vol.43, issue.3, pp.163-185, 1921.
DOI : 10.2307/2370324
, Finite combinatory processes???formulation, The Journal of Symbolic Logic, vol.1, issue.03, pp.103-105, 1936.
DOI : 10.2307/2371045
, Formal Reductions of the General Combinatorial Decision Problem, American Journal of Mathematics, vol.65, issue.2, pp.197-215, 1943.
DOI : 10.2307/2371809
, Recursively enumerable sets of positive integers and their decision problems, pp.284-316, 1944.
, Absolutely unsolvable problems and relatively undecidable propositions -Account of an anticipation, pp.340-433, 1965.
, A machine-oriented logic based on the resolution principle, Communications of the ACM, vol.5, pp.23-41, 1965.
, On computable numbers with an application to the Entscheidungsproblem A correction to the paper was published in the same journal, Proceedings of the London Mathematical Society, vol.43, issue.42, pp.230-265, 1936.
, Emil Post, Handbook of the History of Logic Logic from Russel to Church, 2008.