1. La theorie des enumerations;Ersov;Actes Du Congres International Des Mathematiciens,1970
2. Computable numerations of morphisms;Ersov;Algebra and Logic,1971
3. Topos Theory;Johnstone,1977
4. Diagonal arguments and cartesian closed categories;Lawvere,1969
5. Computable analysis;Mazur;Rozprawy Matematyczne,1963