Compactness Theorem

جستارهای پیونددار Model theory

تاربرگ‌های پیموده‌شده در این نشست: Elsevier ⟩ Modal Axiom K ⟩ Reflexivity ⟩ Modal Axiom D ⟩ Deduction theorem ⟩ ∨ Introduction