Computability : Turing, Gd̲el, Church, and beyond /

Computability : Turing, Gd̲el, Church, and beyond /

Includes bibliographical references and index

Bibliographic Details
Main Authors: Copeland, B. Jack, 1950- editor, Posy, Carl J., editor, Shagrir, Oron, 1961- editor
Format:
Language:eng
Published: Cambridge, Massachusetts : The MIT Press, 2013
Subjects:
Computational complexity
Mathematics

Similar Items