A theory of positive integers in formal logic Part II

被引：17

|

作者：

Kleene, SC ^{[1
]}

机构：

[1] Princeton Univ, Princeton, NJ USA

来源：

AMERICAN JOURNAL OF MATHEMATICS | 1935年 / 57卷

关键词：

D O I：

10.2307/2371199

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：219 / 244

页数：26

相关论文

共 50 条

[1] A theory of positive integers in formal logic Part I
Kleene, SC
[J]. AMERICAN JOURNAL OF MATHEMATICS, 1935, 57 : 153 - 173
[2] A Formal Logic for Formal Category Theory
New, Max S.
Licata, Daniel R.
[J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2023, 2023, 13992 : 113 - 134
[3] Part-of-speech theory: Between formal logic and language typology
Loukine, OW
[J]. INDOGERMANISCHE FORSCHUNGEN, 1999, 104 : 1 - 22
[4] The formal theory of Hopf algebras Part II: The case of Hopf algebras
Porst, Hans-E.
[J]. QUAESTIONES MATHEMATICAE, 2015, 38 (05) : 683 - 708
[5] On the density of the sum of sets of positive integers II
Brauer, A
[J]. ANNALS OF MATHEMATICS, 1944, 42 : 959 - 988
[6] POSITIVE INTEGERS WITH FEW PRIME FACTORS II
HAZELWOO.DG
[J]. TEXAS JOURNAL OF SCIENCE, 1974, 25 (1-4): : 95 - 95
[7] A method of logic deduction and verification in KBS using positive integers
Roanes-Lozano, E
Roanes-Macías, E
Laita, LM
[J]. COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, 2001, : 461 - 475
[8] Representations of positive integers as sums of arithmetic progressions, II
Ho, Chungwu
He, Tian-Xiao
Shiue, Peter J. -S
[J]. NOTES ON NUMBER THEORY AND DISCRETE MATHEMATICS, 2023, 29 (02) : 260 - 275
[9] PROBABILITY THAT K POSITIVE INTEGERS ARE RELATIVELY PRIME II
NYMANN, JE
[J]. JOURNAL OF NUMBER THEORY, 1975, 7 (04) : 406 - 412
[10] Logic, and critical outline of a formal decision theory
Wentscher, Else
[J]. ARCHIV FUR DIE GESAMTE PSYCHOLOGIE, 1928, 63 (1-2): : 250 - 252

← 1 2 3 4 5 →