Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference21 articles.
1. P. Aczel, W. Richter, Inductive definitions and analogues of large cardinals, in: W. Hodges (Ed.), Conference in Mathematical Logic’70, Lecture Notes in Mathematics, vol. 255, 1972, pp. 1–9.
2. Admissible Sets and Structures;Barwise,1975
3. Foundations of Constructive Mathematics, Metamathematical Studies;Beeson,1975
4. Toward a computation system based on set theory;Beeson;Theoretical Computer Science,1988
5. S. Feferman, A language and axioms for explicit mathematics, in: Algebra and Logic, Lecture Notes in Mathematics, vol. 450, 1975, pp. 87–139.
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献