首页> 外文OA文献 >An investigation on the logical structure of mathematics (IX)*. Deductions in the natural-number theory T1(N)

【2h】

An investigation on the logical structure of mathematics (IX)*. Deductions in the natural-number theory T1(N)

机译：对数学（IX）*的逻辑结构的研究。自然数理论T1（N）的推论

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Kuroda Sigekatu;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. An investigation on the logical structure of mathematics. VIII. Consistency of the natural-number theory $T_{1},(N)$ [J] . Sigekatu Kuroda Nagoya Mathematical Journal . 1959,第2期

机译：对数学逻辑结构的研究。八。自然数论$ T_ {1} ，（N）$的一致性
2. An investigation on the logical structure of mathematics. III. Fundamental deductions [J] . Sigekatu Kuroda Nagoya Mathematical Journal . 1958,第2期

机译：对数学逻辑结构的研究。三，基本扣除
3. An investigation on the logical structure of mathematics. IV. Compendium for deductions [J] . Sigekatu Kuroda Nagoya Mathematical Journal . 1958,第2期

机译：对数学逻辑结构的研究。 IV。扣除纲要
4. BREADER: A MODULAR FRAMEWORK FOR VISION RECOGNITION OF MATHEMATICAL-LOGICAL STRUCTURES [C] . Celia Salmim Rafael, Jorge Simao International Joint Conference on Computer Vision and Computer Graphics Theory and Applications . 2009

机译：面包师：数学逻辑结构视觉识别的模块化框架
5. Studies on Logical Design Theory and Physical Storage Structures for Relational Databases [D] . Tanaka, Katsumi 1981

机译：关系数据库的逻辑设计理论和物理存储结构研究
6. Reconsidering the logical structure of the theory of natural selection [O] . Tam Hunt 2014

机译：重新考虑自然选择理论的逻辑结构
7. An Investigation on the Logical Structure of Mathematics (IV): Compendium for Deductions [O] . Sigekatu Kuroda 1958

机译：数学逻辑结构的调查（IV）：扣除纲要
8. Investigation of a Mathematical System for Decision-Making Machines. (Relations Between Logical Structure, Time and Natural Numbers) [R] . Guenther, G. 1971

机译：决策机数学系统的研究。（逻辑结构，时间和自然数之间的关系）

An investigation on the logical structure of mathematics (IX)*. Deductions in the natural-number theory T1(N)

著录项

引文网络

相似文献

相关主题

期刊订阅