Arithmetical definability and computational complexity
scientific article; zbMATH DE number 2111107
scientific article