Independence proofs in arithmetic theories with very weak induction

詳細情報 詳細情報について

• CRID

  1130000797002848512

• NII書誌ID

  BB24695553

• LCCN

  74172140

• Web Site

  https://lccn.loc.gov/74172140

• 本文言語コード

  de

• 出版国コード

  gw

• タイトル言語コード

  en

• 出版地

  • Bonn

• 分類

  • LCC: QA1
  • LCC: QA9.7
  • DC: 510/.8 s
  • DC: 511/.3

• 件名

  • LCSH: Model theory
  • LCSH: Independence (Mathematics)

• データソース種別

  • CiNii Books