The inconsistency of certain formal logics
成果类型：
Article
署名作者：
Kleene, SC; Rosser, JB
刊物名称：
ANNALS OF MATHEMATICS
ISSN/ISSBN：
0003-486X
DOI：
10.2307/1968646
发表日期：
1935
页码：
630-636
关键词：