古本横断検索「マーティン・ディヴィス」の検索結果

	万能コンピュータ著者：マーティンデイビス / 沼田寛出版社：近代科学社 ( 2016年12月01日頃 ) 価格：3,960円 ISBN13：9784764904712
	数学嫌いのためのコンピュータ論理学著者：マーティン・ディヴィス / 岩山知三郎出版社：コンピュータエージ社 ( 2003年07月 ) 価格：2,640円 ISBN13：9784875662747