Publisher
Oxford University PressNew York
Reference20 articles.
1. Review of myhill;Bernays;J. Symbolic Logic,1955
2. The theory of algorithms;Markov.;Tr. Mat. Inst.,,1961
3. Recursively enumerable sets of positive integers and their decision problems;Post;Bull. Am. Math. Soc.,,1944
4. Effectively extensible theories;Pour-El;J. Symbolic Logic,1968
5. Decidability and essential undecidability;Putnam;J. Symbolic Logic,1957