혹시 order louis(으)로 찾으셨나요?

블로그

• Elementary substructure equivalence는, 각각이 L과 지니는 관계에 의하여 특징지어진다는 점에서, 모델 이론의 고유한 탐구 대상이 된다(유명한 공식 Model theory = Universal algebra + Logic Let L be a first-order language, and let and be similar and L-adequate structures. blog.naver.com · 2015.10.25