思想的形式化 形式化的思想——读《数理逻辑的思想和方法》

• 作者: 林胜强
• 来源期刊: 思维与智慧：上半月
• 学科: 哲学
• 关键词: 形式化 数理逻辑 重言式 思想 自然语言 形式系统 基本内容 方法 人工语言 真值函项
• 年，卷（期）: 1993,（3）
• 页码范围: 28-29
• 页数: 2页
• 分类号: B80
• 语种: 中文

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林胜强		1	0	0.0	0.0