Scopeless quantifiers and operators
暂无分享,去创建一个
[1] Saul A. Kripke,et al. Naming and Necessity , 1980 .
[2] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .
[3] Jaap Van Der Does,et al. A generalized quantifier logic for naked infinitives , 1991 .