Therefore , Theorem B.3.7 yields that ETAX + is sound and complete with respect to the class K of compassp - frames F of which the accessibility relation Rp ...
確定! 回上一頁