模型论 正文 数理逻辑的一个分支。它是研究形式语言及其解释（模型）之间关系的理论。早在20世纪20年代，T.司寇伦（1887～1963）等人在数理逻辑研究中就已经得到有关模型论性质的重要结果。但作... [阅读全文]
Copyright © 2005-2009 hudong.com Ltd. All Rights Reserved. 互动在线 版权所有
