1. Kogabaev N. T., “The class of projective planes is noncomputable,” Algebra and Logic, vol. 47, no. 4, 242–257 (2008).
2. Kogabaev N. T., “Noncomputability of classes of pappian and desarguesian projective planes,” Sib. Math. J., vol. 54, no. 2, 247–255 (2013).
3. Bazhenov N. A., “Computable numberings of the class of Boolean algebras with distinguished endomorphisms,” Algebra and Logic, vol. 52, no. 5, 355–366 (2013).
4. Shirshov A. I. and Nikitin A. A., The Algebraic Theory of Projective Planes [Russian], Novosibirsk Univ., Novosibirsk (1987).
5. Rogers H., Theory of Recursive Functions and Effective Computability, McGraw-Hill Book Comp., New York, St. Louis, San Francisco, Toronto, London, and Sydney (1972).