@收款{zbMATH07326276，作者={Mojtahedi，Mojtaba}，标题＝{硬可证明逻辑}，BookTitle={数学、逻辑及其哲学。纪念穆罕默德·阿尔德斯希尔的论文，国际标准图书编号={978-3-030-53653-4；978-3-0.30-53656-5；978-3-40-53654-1}，Pages＝{253-312}，年份={2021}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-53654-1_9}，关键词={03F45.03F30}，zbMATH={7326276}，Zbl=｛1498.03155｝}