提供者：Schloss Dagstuhl-莱布尼茨信息学中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:journals/jsyml/Statman82澳大利亚统计局，RichardTI-完整性、不变性和lambda-可定义性。JO-J.符号。日志。VL-47IS-1标准SP-17EP-26PY-1982年//多-10.2307/2273377UR-（欧元）https://doi.org/10.2307/2273377UR-（欧元）http://projecteuclid.org/euclid.jsl/1183740936急诊室-