1. P. Aczel, M. Rathjen, Notes on constructive set theory, Preprint, 2010 243 pages. http://www1maths.leeds.ac.uk/rathjen/book.pdf.
2. Notes on constructive set theory;Aczel,2001
3. Admissible Sets and Structures;Barwise,1975
4. Logic, Logic, and Logic;Boolos,1989
5. E Pluribus Unum: Plural logic and set theory;Burgess;Philos. Math.,2004