古森雄一的作品

現代数理論理学序説

古森雄一, 小野寛晰

评分 暂无

論理とラムダ計算、部分構造論理、論理学への代数的アプローチなど、最新の話題を盛り込んだ新しい入門書。