@第{zbMATH06853522条，作者={Herberlin，Hugo and Kim，Sun Young and Lee，Gyesik}，Title={形式化一阶谓词逻辑的元理论}，FJournal={韩国数学学会杂志}，Journal={J.韩国数学协会}，ISSN={0304-9914}，体积={54}，数字={5}，页码={1521--1536}，年份={2017年}，语言={英语}，DOI={10.4134/JKMS.j160546}，关键词={03B35,03B10,03F03,03F05}，zbMATH={6853522}，Zbl={1521.03024}}