請求メモ

お困りの場合は、カウンターまで
お越しください。

配架場所	2F書庫1-和書
請求記号	410.96/Te76
資料番号	3000000148
状態

コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著. - 東京 : 青土社 , 2015.3

2024/09/01 07:11:49