共 50 条
- [2] RECURSIVE INSEPARABILITY IN ELEMENTARY THEORIES ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1971, 17 (05): : 443 - &
- [3] BOOLEAN ALGEBRAS OF SOME ELEMENTARY THEORIES NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (01): : 84 - &
- [8] Recursive inseparability of the sets of identically valid and finitely refutable formulas of some elementary theories of varieties Siberian Mathematical Journal, 2000, 41 : 578 - 591