گویایی رایه‌ی یکم

همچنین شناخته شده با: منطق مرتبه‌ی اول
برابر انگلیک (انگلیسی): First-order logic


تاربرگ‌های پیموده‌شده در این نشست: چماریک‌های پیوندی گویایی بی‌پایان ارزشی گویایی تورینگ آپارش درتاهش A Completeness Theorem in Modal Logic