@收款{zbMATH0073386，作者={Mints，G.E.}，标题={Gentzen型系统和{希尔伯特}的ε替换方法。{一} }、，BookTitle={科学的逻辑、方法论和哲学IX.第九届国际逻辑、方法学和科学哲学大会会议记录，瑞典乌普萨拉，1991年8月7日至14日}，国际标准图书编号={0-444-89341-5}，页码={91--122}，年份={1994}，出版商={阿姆斯特丹：北荷兰}，语言={英语}，关键词={03F05,03F30}，zbMATH={733386}，Zbl=｛0835.03023｝}