A theory of formal deducibility

Details 詳細情報について

• CRID

  1130000796697995136

• NII Book ID

  BA01086071

• LCCN

  50002766

• Web Site

  https://lccn.loc.gov/50002766

• Text Lang

  en

• Country Code

  us

• Title Language Code

  en

• Place of Publication

  • Notre Dame

• Classification

  • LCC: QA1
  • DC: 164

• Subject

  • LCSH: Logic, Symbolic and mathematical

• Data Source

  • CiNii Books