コンピュータは数学者になれるのか？

数学基礎論から証明とプログラムの理論へ


【著者名　】照井一成

【シリーズ】

【出版社　】青土社


【発行年度】2015年　 【冊数】1　 【頁数】357　 【判型・装丁】B6 ハード

【現品状態】
少擦れ有、カバー少キズ有、本文は概ね良好。

【ISBN】9784791768516

¥ 2,000 税込

数量