The Formalization of The Arithmetic System on The Ground of The Atomic Logic

来源 :数学和系统科学：英文版 | 被引量 : 0次 | 上传用户：hua3287226

【作者】

：

T. J. Stepien L. T. Stepien

【机构】

：

ThePedagogicalUniversityofCracow

【出处】

：

数学和系统科学：英文版

【发表日期】

：

2015年9期

【关键词】

：

运算系统原子逻辑蕴涵算术 Atomic entailment Arithmetic System Peano＇s Arithmetic System

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

On Pairwise Singular Sets and Pairwise Singular Maps

期刊

奇异地图豪斯多夫局部紧Pairwise singular sets pairwise singular maps

People with Disabilities： Some Analyzes of the Results of the 2010 Population Census and New Challen

期刊

人口普查残疾人同质性检验移动数据库交互效应技术援助数据样本知识产权Exhaustive automatic interaction detect

养肺止痒汤治疗老年皮肤瘙痒症43例

自2001年1月～2003年11月,笔者以自拟养肺止痒汤治疗老年皮肤瘙痒症,取得较好疗效,现报道如下.

期刊

老年皮肤瘙痒症止痒汤治疗养肺2003年2001年

Observer-Based Fuzzy Control Design for Discrete-Time T-S Fuzzy Bilinear Stochastic,Systems with Inf

期刊

线性随机系统模糊观测器控制设计无穷时滞双线性TS离散分布系统T-S fuzzy system stochastic bilinear syst

我省2005年将全面取消农业税

从2005年起，福建省将全面取消农业税及其附加，取消除烟叶外的农业特产税，以减轻农民负担，促进农业快速发展。

期刊

农业税取消减轻农民负担农业特产税快速发展福建促进

新年灯谜

期刊

Using Sobel Operator for Automatic Edge Detection in Medical Images

期刊

医学图像SOBEL算子边缘检测自动化系统DICOM信息技术软件网络Segmentation medical image the algori

Measurement of Surplus Labor in Viet Nam Agriculture

期刊

农村剩余劳动力农业部越南测量方法可持续性工业化现代化服务业Labor force agricultural labor surplus la

Interpolated Tensor Products of Exponential Type Vectors of Unbounded Operators

期刊

向量空间插值定理无界算子张量积指数型Banach空间椭圆算子K-泛函Exponential type vector tensor produc

周恩来精神下初中语文有效教学探究

随着党的十九大的顺利召开,我国希望把周恩来精神融入到平时的语文教学实践中。在当今这个美好幸福的时代下,周恩来精神是流水不腐的,它值得我们不断的学习。下面,本人凭借着

期刊

周恩来精神初中语文有效教学

The Formalization of The Arithmetic System on The Ground of The Atomic Logic

与本文相关的学术论文