Theorem Proving in Higher Order Logics

@JRstract @JDHamkins Oh, missed them. F: the dichotomy was made obsolete by Lawvere's functorial semantics. G: Comme ci comme ça. H: He was picturing the hell known as P=NP. I: https://t.co/N5nVwrySx6 Smullyan was a smart guy. J: Lawvere's fixed point theo

https://t.co/hchFiOq4cG

@k_tumuji ちなみに、関係するRussell O'Connorの文献は此処（http://t.co/kHQcsYBI）からみれます。

@k_tumuji ちなみに、関係するRussell O'Connorの文献は此処（http://t.co/kHQcsYBI）からみれます。