検索内容:
付録には、証明全体で参照しやすいように使用された基本的な同値が一覧で示されています。
これらの構造は同型ではないが、ある構造で真となるすべての一階述語の式が他方でも真となるという関係、すなわち初等同値性を持っている。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★