[Updated on Apr. 18] Integration of CiNii Articles into CiNii Research

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