琴葉茜と一階述語論理の統語論と意味論

琴葉茜と一階述語論理の統語論と意味論

Γ ⊨ φ って何？という話をします。次: sm40433507

琴葉茜と 一階述語論理の統語論と意味論