The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functionsThe undecidable : basic papers on undecidable propositions, unsolvable problems and computable functionsMartin Davis出版社Raven Press発売日1965-01-01ISBN9780911216011読みたい読書中読んだ詳細はこちらからAmazonで見るシェアする
