... as a basis for a whole family of systems extending the logic of first-degree entailment in various directions is shown. ... 中文翻译: ...
確定! 回上一頁