Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Andrews, P.B.: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Academic Press, London (1986)
2. Barendregt, H.: The impact of the lambda calculus on logic and computer science. Bulletin of Symbolic Logic 3, 181–215 (1997)
3. Church, A.: A formulation of the Simple Theory of Types. Journal of Symbolic Logic 5, 56–68 (1940)
4. Davis, P.J.: Fidelity in mathematical discourse: Is one and one really two? The American Mathematical Monthly 79, 252–263 (1972)
5. Diaconescu, R.: Axiom of choice and complementation. Proceedings of the American Mathematical Society 51, 176–178 (1975)
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献