Independent Axiom Systems of Minimal formulas for Classical Logic

Bibliographic Information

Title
Independent Axiom Systems of Minimal formulas for Classical Logic
Author
Yuichi Komori

Journal

Related Projects

See more

Details 詳細情報について

  • CRID
    1010282256788382855
  • Article Type
    journal article
  • Data Source
    • KAKEN

Report a problem

Back to top