Two theorems on computable numberings
โ
V. L. Selivanov
๐
Article
๐
1976
๐
Springer US
๐
English
โ 623 KB