Proof by cases in formal logic
成果类型：
Article
署名作者：
Kleene, SC
刊物名称：
ANNALS OF MATHEMATICS
ISSN/ISSBN：
0003-486X
DOI：
10.2307/1968749
发表日期：
1934
页码：
529-544
关键词：