@第{zbMATH03627167条，作者={Minc，G.E.}，标题={带ε符号的Heyting谓词演算}，FJournal={苏联数学杂志}，期刊={J.Sov.Math.}，ISSN＝{0090-4104}，体积={8}，页码={317--323}，年份={1977年}，语言={英语}，DOI={10.1007/BF01091551}，关键词={03F55,03F05,03C10,03F30}，zbMATH={3627167}，Zbl={0404.03045}}