Computational complexity of arithmetical sentences
scientific article; zbMATH DE number 797311