First-order modal logic

著者

• Fitting, Melvin Chris
• Mendelsohn, Richard L.

書誌事項

First-order modal logic

Melvin Fitting and Richard L. Mendelsohn

（Synthese library, v. 277）

Kluwer Academic, c1998

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA38849556
• ISBN:
  • 079235334X
• LCCN: 98037504
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Dordrecht ; Boston
• ページ数/冊数: xii, 287 p.
• 大きさ: 25 cm
• 分類:
  • LCC : BC199.M6
  • DC21 : 160
• 件名:
  • LCSH : Modality (Logic)
• 親書誌ID:
  • BA00017801