查询结果
数理逻辑基础
shù lǐ luó jí jī chǔ
ㄕㄨˋ ㄌㄧˇ ㄌㄨㄛˊ ㄐㄧˊ ㄐㄧ ㄔㄨˇ
「数理逻辑基础」是什么意思？
更新 2026-07-13 06:49:23
- 拼音字母shu li luo ji ji chu
- 首字母slljjc
- 注音符号ㄕㄨ ㄌㄧ ㄌㄨㄛ ㄐㄧ ㄐㄧ ㄔㄨ
扩展释义
德国希尔伯特及其学生阿克曼合著。分命题演算、类演算、狭义谓词演算、广义谓词演算四章。 原书名为《理论逻辑基础》，第一、二版分别于1928年、1938年出版，第三、四版在希尔伯特身后由阿克曼修订分别于1949年、1959年出版。中国莫绍揆译本出版于1958年，是据第三版译出的。原书第四版有较多的修改（包括符号体系的改变）和补充。
拆字组词
相关词语
- 二色锦鸡儿查含义
- 乌合之师查含义
- 刀把子查含义
- 加盟店查含义
- 口干舌焦查含义
- 厌世查含义
- 太和小区查含义
- 大友龙三郎查含义
- 宜丰苑查含义
- 孔令楠查含义
- 小张各庄镇查含义
- 平静便鞋查含义
- 张天虎查含义
- 感光胶片查含义
- 打夯歌查含义
- 断路器查含义
- 朱荣荣查含义
- 曾远志查含义
- 杨雅静查含义
- 枣椰扁潜甲查含义
- 潘国静查含义
- 珍珠泉村查含义
- 特固克查含义
- 王广昌查含义
- 白国文查含义
- 相辅查含义
- 秦蕾查含义
- 紫胶红查含义
- 蓝美凤蝶查含义
- 蒋帅查含义
- 谁能色放你查含义
- 送养人查含义
- 邻国查含义
- 鹤骨鸡肤查含义
- 定西教育学院查含义
- 烟台市规划局查含义
- 十字魔法少年查含义
- 电王查含义
- 集合债券查含义
- 赎回收益率查含义
- 月光条例查含义
- 白糖蒸馒头查含义
- 乌丁根查含义
- 刀技查含义
- 泡桐娇驼跷蝽查含义
- 温里查含义
- 玻利维亚穴鸮查含义
- 狭尾椋鸟查含义
- 火石竹查含义
- 清脂多肽查含义