共 50 条
- [2] FINITELY AXIOMATIZABLE CATEGORICAL THEORIES COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1975, 281 (12): : 403 - 406
- [10] THE SIMILARITY OF PROPERTIES OF THE RECURSIVELY-ENUMERABLE AND FINITELY AXIOMATIZABLE THEORIES DOKLADY AKADEMII NAUK SSSR, 1989, 308 (04): : 788 - 791