1. Alter, T., & Nagasawa, Y. (2015). Consciousness in the physical world: Perspectives on Russellian monism. Oxford University Press.
2. Barasz, M., Christiano, P., Fallenstein, B., Herreshoff, M., LaVictoire, P., & Yudkowsky, E. (2014). Robust cooperation in the Prisoner’s Dilemma: Program equilibrium via provability logic. arXiv:1401.5577http://arxiv.org/abs/1401.5577
3. Boolos, G. (1995). The logic of provability. Cambridge: Cambridge University Press.
4. Chalmers, D. J. (1996). The conscious mind: In search of a fundamental theory. Oxford University Press.
5. Chalmers, D. J. (1995). Facing up to the problem of consciousness. Journal of Consciousness Studies, 2(3), 200–219.