@InCollection{zbMATH06514162，作者={Nov{\'a}k，Vil{\'e}m}，标题={从经典到模糊类型理论}，BookTitle={Leon Henkin的生活和工作。关于他的贡献的论文}，ISBN＝{978-3-319-09718-3；978-3-319-09719-0}，页码={225--247}，年份={2014}，Publisher={Cham:Birkh{\“a}user/Springer}，语言={英语}，DOI={10.1007/978-3-319-09719-0_16}，关键词={03B52,03B15,03G25,06D35}，zbMATH＝{6514162}，Zbl={1330.03063}}