Author:
Friedman Harvey M.,Simpson Stephen G.,Smith Rick L.
Reference44 articles.
1. Decision procedures for real and p-adic fields;Cohen;Comm. Pure Appl. Math.,1969
2. Theorie der Numerierunger III;Eršov;Z. Math. Logik Grundlagen Math.,1977
3. Impredicativity of the existence of the largest divisible subgroup of an abelian p-group;Feferman,1975
4. Systems of predicative analysis;Feferman;J. Symbolic Logic,1964
Cited by
102 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献