共 21 条
- [1] Abreces C., 2001, CSLI LECT NOTES, P35
- [2] [Anonymous], REPORTS MATH LOGIC
- [3] [Anonymous], 1983, SYNTHESE LIB
- [4] [Anonymous], 1960, SUGAKU
- [5] Bicarregui J., 2001, Log. J. IGPL, V9, P231, DOI [10.1093/jigpal/9.2.231, DOI 10.1093/JIGPAL/9.2.231]
- [6] CARBONE A, 1996, COLLEGIUM LOGICUM, V2, P87
- [8] Craig William, 1957, J. Symb. Log., V22, P250
- [9] Czelakowski J, 1999, LECT NOTES PURE APPL, V203, P187
- [10] Gabbay D., 2011, CONDITIONALS MODULAR