Computability : Turing, Gödel, Church, and beyond /
Copeland, B. Jack,1950-editor of compilation.
Posy, Carl J.,editor of compilation.
Shagrir, Oron,1961-editor of compilation.
Includes bibliographical references and index.
Computational complexity.
Mathematics