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

Includes bibliographical references and index

書誌詳細
主要な著者: Copeland, B. Jack, 1950- editor, Posy, Carl J., editor, Shagrir, Oron, 1961- editor
フォーマット:
言語:eng
出版事項: Cambridge, Massachusetts : The MIT Press, 2013
主題:
その他の書誌記述
要約:Includes bibliographical references and index