名古屋大学附属図書館




1

証明論入門

新井敏康 [述]. -- 東北大学大学院理学研究科, 2010.2. -- (大学院教育改革支援プログラム「理学の実践と応用を志す先端的科学者の養成」 . 大学院GP数学レクチャーノートシリーズ ; GP-TML15).