Publisher
Springer Berlin Heidelberg
Reference91 articles.
1. Ackermann, W.: Begründung des “tertium non datur” mittels der Hilbertschen Theorie der Widerspruchsfreiheit. Math. Ann., 93, 1–36 (1924)
2. Avigad, J: Interpreting classical theories in constructive ones. J. Symbolic Logic, 65:4, 1785–1812 (2000)
3. Barendregt, H.: The impact of the lambda calculus in logic and computer science. Bull. Symbolic Logic, 3:2, 181–215 (1997)
4. Berardi, S., Bezem, M., Coquand, T.: On the computational content of the axiom of choice. J. Symbolic Logic, 63:2, 600–622 (1998)
5. Bell, J.L.: Boolean-valued models and independence proofs in set theory (second edition). With a preface by Dana Scott. Oxford Logic Guides, 12 (1985)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献