M3
برابر انگلیک (انگلیسی): M3


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