论文信息 - On Degrees of Recursive Unsolvability - 字舞流文

On Degrees of Recursive Unsolvability

[1] S. Kleene. On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper) , 1955 .

[2] Emil L. Post,et al. The Upper Semi-Lattice of Degrees of Recursive Unsolvability , 1954 .

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