コンピュータは数学者になれるのか？ 数学基礎論から証明とプログラムの理論へ/照井一成(著者)

照井一成(著者)
販売会社/発売会社：青土社
発売年月日：2015/02/01
JAN：9784791768516