著者：照井 一成［てるい・かずしげ］(1971-) 装幀：岡 孝治［おか・こうじ］ NDC：410.9 集合論．数学基礎論 件名：記号論理学 件名：情報科学 青土社 ||科学／数学／生物：コンピュータは数学者になれるのか？ コンピュータは数学者になれるのか? -数学基…