Finite model theory

著者

• Ebbinghaus, Heinz-Dieter
• Flum, Jörg

書誌事項

Finite model theory

Heinz-Dieter Ebbinghaus, Jörg Flum

（Perspectives in mathematical logic）

Springer, c1999

2nd rev. and enl. ed

注記

Includes bibliographical references (p. [339]-347) and index

詳細情報

• NII書誌ID(NCID): BA43242016
• ISBN:
  • 3540657584
• LCCN: 99039853
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; Tokyo
• ページ数/冊数: xiii, 360 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA9.7
  • DC21 : 511.3
• 件名:
  • LCSH : Model theory
• 親書誌ID:
  • BA00027452