数理逻辑基础的英文

• fundations of mathematical logic

• "数理逻辑"英文翻译    mathematical logic
• "基础"英文翻译    foundation; base; basis
• "公式 (数理逻辑)" 英文翻译 :    formula (mathematical logic)
• "句子 (数理逻辑)" 英文翻译 :    sentence (mathematical logic)
• "量化 (数理逻辑)" 英文翻译 :    quantification
• "数理逻辑" 英文翻译 :    mathematical logic
• "文字 (数理逻辑)" 英文翻译 :    literal (mathematical logic)
• "高级数理逻辑" 英文翻译 :    advanced numerical logic; artificial intelligence & its architecture
• "数理逻辑轮廓" 英文翻译 :    profile of mathematical logic
• "现代数理逻辑" 英文翻译 :    modern mathematical logic
• "【数学】符号逻辑，数理逻辑。" 英文翻译 :    symbolic logic
• "程序逻辑基础" 英文翻译 :    programming logic basis
• "逻辑基" 英文翻译 :    logic base
• "处理逻辑" 英文翻译 :    processing logic
• "心理逻辑" 英文翻译 :    psychologic
• "哲理逻辑" 英文翻译 :    philosophical logic
• "成组处理逻辑" 英文翻译 :    grouprocessing logic
• "群组处理逻辑" 英文翻译 :    gpl grouprocessing logic
• "因果推理逻辑" 英文翻译 :    post hoc logic
• "中断处理逻辑" 英文翻译 :    interrupt handling logic
• "数理基础" 英文翻译 :    mathematical foundation
• "加工逻辑, 处理逻辑" 英文翻译 :    processing logic
• "传统逻辑基本规律" 英文翻译 :    fundamental laws of traditional logic
• "数据管理逻辑规则" 英文翻译 :    data management logic
• "逻辑数理智力" 英文翻译 :    logical-mathematical intelligence

• R . cori & d . lascar : mathematical logic ? a course with exercises , part i . oxford university press , 2001
  陈慕泽余俊伟：数理逻辑基础? ?一阶逻辑与一阶理论，中国人民大学出版社2003 。