论文信息 - Families of recursive predicates of measure zero - 字舞流文

Families of recursive predicates of measure zero

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

[2] A property of enumerable sets containing “complexly deducible” formulas , 1972 .