名古屋大学附属図書館




1

証明論と計算量理論

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