コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ

情報なし

著者

照井, 一成, 1971-

出版社

青土社

発売日

2015年3月発売

価格

2,800円（税込・書誌情報提供：openBD）

ISBN

9784791768516

発売済み