Categorical Abstract Algebraic Logic : Bloom's Theorem for Rule-Based π-Institutions

• VOUTSADAKIS G.

収録刊行物

• http://www.voutsadakis.com/research/papers.html

  http://www.voutsadakis.com/research/papers.html

詳細情報

• CRID: 1572543025220849152
• NII論文ID: 10018893781
• データソース種別:
  • CiNii Articles