波斯特系统

波斯特系统的词语属性

波斯特系统的百科含义

波斯特系统((Post system)亦称波斯特正规系统或组合系统，一种形式系统，它是由波兰一美国数理逻辑学家波斯特((Post,E. L.)于20世纪20年代研究并在1943年发表的。

• 朱小冬
• 无锡人
• 主父
• 闻馨园
• 托邦
• 刘化忠
• 麻木不仁
• 盖春来
• 敦谨
• 黄震华
• 卡布拉尔
• 宋景华
• 万应茶
• 蔡剑魁
• 聂杰铭
• 贝勒
• 王庆山
• 陈育培
• 平郡
• 准头
• 邯郸晚报
• 萧续
• 感光性
• 小市民
• 张又新
• 狮子王
• 李锦斌
• 钎子
• 雷妻师
• 脱误
• 罗邺
• 浸膏粉
• 华尊
• 工程局
• 巴科
• 周子琰
• 节能门窗
• 余胤
• 改善
• 不乏
• 实际工资
• 官应震
• 杨雅
• 俞希允
• 钱说爱
• 龙沙
• 八角台
• 戴家峰
• 黄庆林
• 缓期