共 50 条
- [5] FINITELY AXIOMATIZABLE CATEGORICAL THEORIES COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1975, 281 (12): : 403 - 406
- [8] OPEN INDUCTION IS NOT FINITELY AXIOMATIZABLE COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1989, 308 (11): : 297 - 300