王宪钧相关论文
北平解放之初，北京大学哲学系、清华大学哲学系的教师和其他哲学工作者举行双周座谈会，参加者有北大的汤用彤、朱光潜、贺麟、郑昕、......
<正>事情本来是怎样的?在国内数理逻辑教材较为常用的一阶逻辑系统中,有两条推理规则。一条是分离规则,另一条可称为全称概括规则......
