期刊
LOGICA UNIVERSALIS
卷 8, 期 3-4, 页码 499-552出版社
SPRINGER BASEL AG
DOI: 10.1007/s11787-014-0107-3
关键词
Godel; first incompleteness theorem