Hybrid logic and its proof-theory

著者

• Braüner, Torben

書誌事項

Hybrid logic and its proof-theory

Torben Braüner

（Applied logic series, v. 37）

Springer, c2011

注記

Includes bibliographical references (p. 221-228) and index

詳細情報

• NII書誌ID(NCID): BB04454973
• ISBN:
  • 9789400700017
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Dordrecht
• ページ数/冊数: xiii, 231 p.
• 大きさ: 24 cm
• 分類:
  • SG : 100
• 親書誌ID:
  • BA28718584