Author:
Diller Justus,Schütte Kurt
Publisher
Springer Science and Business Media LLC
Reference2 articles.
1. Gödel, K.: Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes. Dialectioa12 (1958), 280–287.
2. Spector, C.: Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics. Proceedings of Symposia in Pure Mathematics, Vol. 5, American Mathematical Society, Providence 1962, 1–27.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献