Computability : Turing, Gd̲el, Church, and beyond /
Includes bibliographical references and index
主要な著者: | , , |
---|---|
フォーマット: | |
言語: | eng |
出版事項: |
Cambridge, Massachusetts : The MIT Press,
2013
|
主題: |
要約: | Includes bibliographical references and index |
---|