A mathematical logic without variables. I
成果类型:
Article
署名作者:
Rosser, JB
刊物名称:
ANNALS OF MATHEMATICS
ISSN/ISSBN:
0003-486X
DOI:
10.2307/1968669
发表日期:
1935
页码:
127-150
关键词: