Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Andrews, P.B.: A reduction of the axioms for the theory of propositional types. Fundamenta Mathematicae 52, 345–350 (1963)
2. Andrews, P.B.: An Introduction to Mathematical Logic and Type Theory: To Truth through Proof, 2nd edn. Kluwer, Dordrecht (2002)
3. Lecture Notes in Mathematics;M. Beeson,1981
4. Beeson, M.J.: Foundations of Constructive Mathematics. Springer, Berlin (1985)
5. Burge, T.: Truth and Some Referential Devices. PhD thesis, Princeton University (1971)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献