Proof methods for modal and intuitionistic logics

著者

• Fitting, Melvin Chris

書誌事項

Proof methods for modal and intuitionistic logics

Melvin Fitting

（Synthese library, v. 169）

D. Reidel , Sold and distributed in the U.S.A. and Canada by Kluwer Boston, c1983

注記

Bibliography: p. 526-539

Includes index

詳細情報

• NII書誌ID(NCID): BA0107471X
• ISBN:
  • 9027715734
• LCCN: 83004409
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Dordrecht, Holland ; Boston, U.S.A.,Hingham, Mass.
• ページ数/冊数: viii, 555 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA9.54
  • DC19 : 511.3
• 件名:
  • LCSH : Proof theory
  • LCSH : Modality (Logic)
  • LCSH : Intuitionistic mathematics
• 親書誌ID:
  • BA00017801