Josep Maria Font, Ramon Jansana ... Γ,φ⊣ξ Γ,ψ⊣ξ (⊣∨) Γ⊣φΓ⊣φ∨ψ Γ ⊣ψ φ∨ Γ, φ ∨ ψ ⊣ ξ Γ ⊣ ψ Proposition 2.4 of Font and Verd ́u [1991] proves that, ...
確定！ 回上一頁
