数学基礎論・数理論理学　その11

数学基礎論・数理論理学　その11at MATH

数学基礎論・数理論理学　その11 - 暇つぶし2ch586:１３２人目の素数さん
12/02/09 01:34:33.86
>>583
Categorical Logicについて勉強したいならばBart Jacobsの大作"Categorical Logic and Type Theory"を読めばいいんじゃないの？
今はペーパバック版が出て安く買えるようになってるはずだし

次ページ