Author:
Myhill J.,Shepherdson J. C.
Reference3 articles.
1. Introduction to metamathematics. Amsterdam 1952.
2. Classes of recursively enumerable sets and their decision problems
3. Der gegenwärtige Stand der Grundlagenforschung in der Mathematik. Die Hauptreferate des 8. polnischen Mathematikerkongresses 1953 in Warschau, pp. 11–44, Berlin 1954.
Cited by
68 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献