最終更新日：2022/12/24
It is easy to see what is going on, if in G & ∀x∃yP(x, y) we not only unabbreviate G, but take the outer conjunctions apart, […]
編集履歴（0）
It is easy to see what is going on, if in G & ∀x∃yP(x, y) we not only unabbreviate G, but take the outer conjunctions apart, […]
DiQt（ディクト）
無料
★★★★★★★★★★
