@第{zbMATH00798902条,作者={da Costa,Newton C.A.和B{'e}ziau,Jean-Yves和Bueno,Ot{'A}vio A.S.},标题={次一致逻辑的方面},FJournal={IGPL公报},日志={Bull.IGPL},ISSN={0945-9103},体积={3},数字={4},页码={597--614},年份={1995},语言={英语},DOI={10.1093/jigpal/3.4.597},关键词={03B53},URL={semanticscholar.org/paper/f13bf1d8c202570d0f9bf908ac2745f0b3f625ce},zbMATH={798902},Zbl={0843.03014}}