12/02/08 13:59:04.85
>HANDBOOK OF PHILOSOPHICAL LOGICの12巻に大体載ってる
どなたか要点だけでも書いていただけないでしょうか？この本がすぐ見えないので
特に、型理論と「圏論をそのまま一階述語論理にのっける公理系」をなぜ考えるのか
ということだけでもいいのですが。
12/02/08 13:59:04.85
>HANDBOOK OF PHILOSOPHICAL LOGICの12巻に大体載ってる
どなたか要点だけでも書いていただけないでしょうか？この本がすぐ見えないので
特に、型理論と「圏論をそのまま一階述語論理にのっける公理系」をなぜ考えるのか
ということだけでもいいのですが。