@收款{zbMATH07185553，作者={穆拉夫斯基，罗马人}，标题={关于数学证明的一些历史、哲学和方法论评论}，BookTitle={数学、哲学和计算机科学中的证明概念。基于瑞士伯尔尼洪堡-科尔勒格出版社，2013年9月9日至13日}，国际标准图书编号={978-1-5015-1080-9；978-1-5015-0262-0}，页码={251--268}，年份={2016年}，出版商={柏林：De Gruyter}，语言={英语}，DOI={10.1515/9781501502620-015}，关键词={00A30,03A05,00A35}，zbMATH={7185553}，Zbl={1433.00031}}