داراک نمونه پایان‌دار

همچنین شناخته شده با: ویژگی مدل متناهی
برابر انگلیک (انگلیسی): Finite model property


تاربرگ‌های پیموده‌شده در این نشست: آگوست دمورگان آگاهشی آرثر نورمن پرایور