查询结果
数理逻辑基础
shù lǐ luó jí jī chǔ
ㄕㄨˋ ㄌㄧˇ ㄌㄨㄛˊ ㄐㄧˊ ㄐㄧ ㄔㄨˇ
「数理逻辑基础」是什么意思？
更新 2026-07-11 10:32:20
- 拼音字母shu li luo ji ji chu
- 首字母slljjc
- 注音符号ㄕㄨ ㄌㄧ ㄌㄨㄛ ㄐㄧ ㄐㄧ ㄔㄨ
扩展释义
德国希尔伯特及其学生阿克曼合著。分命题演算、类演算、狭义谓词演算、广义谓词演算四章。 原书名为《理论逻辑基础》，第一、二版分别于1928年、1938年出版，第三、四版在希尔伯特身后由阿克曼修订分别于1949年、1959年出版。中国莫绍揆译本出版于1958年，是据第三版译出的。原书第四版有较多的修改（包括符号体系的改变）和补充。
拆字组词
相关词语
- 一触即溃查含义
- 京城往事查含义
- 先见查含义
- 俯首就擒查含义
- 刘双林查含义
- 制导武器查含义
- 副厅查含义
- 口蹄疫查含义
- 各显其能查含义
- 四圣散查含义
- 安全网络查含义
- 实木床查含义
- 安定广场查含义
- 射击地线查含义
- 山阁镇查含义
- 张振雯查含义
- 方斑墨蚜蝇查含义
- 擢发莫数查含义
- 李密查含义
- 松落针病查含义
- 滚粗查含义
- 牙口查含义
- 王鸿杰查含义
- 王培峰查含义
- 硫双威查含义
- 福怡居查含义
- 竹节人参叶查含义
- 能源地图查含义
- 诸暨查含义
- 轴伪足查含义
- 郭国庆查含义
- 鑫苑小区查含义
- 银河飞将查含义
- 铁门镇查含义
- 阎奕格查含义
- 陆奎勋查含义
- 颜氏球蛛查含义
- 龙与虎查含义
- 齿冠查含义
- 龙蛭胶囊查含义
- 鲜花盛开查含义
- 汕头宜家酒店查含义
- 魔法工厂查含义
- 清候查含义
- 玉林市政府查含义
- 冬笋炒牛肉查含义
- 菠萝红虾球查含义
- 泡鱼辣椒查含义
- 植物活化石查含义
- 中果红油栗查含义