HIPPO, 209.

Studies in Logical Theory · 第 61 / 78 题