Author:
Boolos George,Sambin Giovanni
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference39 articles.
1. [Bernardi 1975]C. Bernardi, The fixed-point theorem for diagonalizable algebras, Studia Logica 34 (1975), pp. 239?251.
2. [Bernardi 1975b]C. Bernardi, On the equational class of diagonalizable algebras, Studia Logica 34 (1975), pp. 321?331.
3. [Bernardi 1976]C. Bernardi, The uniqueness of the fixed-point in every diagonalizable algebra, Studia Logica 35 (1976), pp. 335?343.
4. [Boolos 1976]G. Boolos, On deciding the truth of certain statements involving the notion of consistency, Journal of Symbolic Logic 41 (1976), pp. 779?781.
5. [Boolos 1979]G. Boolos, The Unprovability of Consistency: An Essay in Modal Logic, Cambridge University Press, 1979.
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献