The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functionsThe undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functionsMartinDavis出版社Dover Publication発売日2004-01-01ページ数413ページISBN9780486432281読みたい読書中読んだ詳細はこちらからAmazonで見るシェアする
