Publisher
American Mathematical
Society
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The nonexistence of a constructive real number ordering algorithm;3rd International Conference on Applied Mathematics, Modelling, and Intelligent Computing (CAMMIC 2023);2023-07-28
2. Why Self-Esteem Helps to Solve Problems: An Algorithmic Explanation;Uncertainty, Constraints, and Decision Making;2023
3. Constructive Mathematics in St. Petersburg, Russia: A (Somewhat Subjective) View from Within;Studies in Universal Logic;2016
4. DEMUTH’S PATH TO RANDOMNESS;The Bulletin of Symbolic Logic;2015-09
5. Extended Fuzzy Constructive Logic;Journal of Mathematical Sciences;2014-05