Hyperfine-Grained Meanings in Classical Logic ... formalized in a completely unproblematic logic---the ordinary classical theory of types.
確定! 回上一頁