Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference10 articles.
1. G. Boolos,The Unprovability of Consistency, Cambridge University Press, Cambridge 1979.
2. G. Boolos,Provability, truth and modal logic,Journal of Philosophical Logic 9 (1980), pp. 1–7.
3. M. A. Dummett,A propositional calculus with a denumerable matrix,The Journal of Symbolic Logic 24 (1959), pp. 97–106.
4. M. A. Dummett,Elements of Intuitionism, Clarendon Press, Oxford, 1977.
5. R. Goldblatt,Arithmetical necessity, provability and intuitionistic logic,Theoria 44 (1978), pp. 38–46.
Cited by
93 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献