Noncomputability of classes of Pappian and Desarguesian projective planes
scientific article; zbMATH DE number 6183218