Intuitionistic logic, model theory and forcing

著者

• Fitting, Melvin Chris

書誌事項

Intuitionistic logic, model theory and forcing

M.C. Fitting

（Studies in logic and the foundations of mathematics）

North-Holland Pub. Co., 1969

注記

Bibliography: p. [188]-189

• NII書誌ID(NCID): BA03949678
• ISBN:
  • 0720422566
• LCCN: 79102718
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam
• ページ数/冊数: 191 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA9
  • DC : 512/.817
• 件名:
  • LCSH : Model theory
  • LCSH : Axiomatic set theory
  • LCSH : Forcing (Model theory)
• 親書誌ID:
  • BA00099329