1. Aczel, P., & Rathjen, M. (2000/2001) Notes on constructive set theory (Technical report, Report No. 40). Institut Mittag–Leffler.
2. Aczel, P., & Rathjen, M. (2010). Constructive set theory. Book draft.
3. Bell, J. L. (2005). Set theory. Boolean-valued models and independence proofs (Oxford logic guides). Oxford: Oxford University Press.
4. Berger, J., Ishihara, H., & Schuster, P. (2012). The weak König lemma, Brouwer’s fan theorem, De Morgan’s law, and dependent choice. Reports on Mathematical Logic, 47, 63–86.
5. Brink, C. (1982). A note on Peirce and multiple conclusion logic. Transactions of the Charles S. Peirce Society, 18(4), 349–351.