名古屋大学附属図書館




1

代数系・論理・言語と計算機科学の新たな接点

京都大学数理解析研究所, 2015.10. -- (数理解析研究所講究録 ; 1964).