论文信息 - On the Recursivity of Finite Sets - 字舞流文

On the Recursivity of Finite Sets

Ronald Harrop | R. Harrop

[1] A. Heyting. Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957 , 1959 .

[2] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .

[3] Emil L. Post. Recursively enumerable sets of positive integers and their decision problems , 1944 .