For instance, George Boolos has used plural quantification to interpret monadic second-order logic and has argued on this basis that monadic ...
確定! 回上一頁