Computing degrees of unsolvability
philosophy and foundations of mathematics
scientific article; zbMATH DE number 3140510
scientific article