翻譯modern logic-英文-繁體中文詞典

19世紀末以來發展的正式推理研究；包括模型理論、證明理論和集合理論

與當前或最近的趨勢、時尚或思想相關的