论文信息 - Existence and Consistence - 字舞流文

Existence and Consistence

[1] M. Yasugi. Infinitesimal calculus interpreted in infinitary logic , 1989 .

[2] A metatheory of nonstandard analysis , 1993 .