名古屋大学附属図書館




1

クローン理論と離散数学

計算機科学をめぐる代数と論理. -- 京都大学数理解析研究所, 2013.8. -- (数理解析研究所講究録 ; 1846).