Simple Axioms for BCK Algebras and the Connection Between the Axioms and the Combinators B, C and K'

• BUNDER M. W.

収録刊行物

• Math. Japonica

  Math. Japonica 26 415-418, 1981

詳細情報

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