Finite model theory

著者

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

書誌事項

Finite model theory

Heinz-Dieter Ebbinghaus, Jörg Flum

（Perspectives in mathematical logic）

Springer, c1995

注記

Includes bibliographical references (p. [313]-317) and index

詳細情報

• NII書誌ID(NCID): BA26045427
• ISBN:
  • 354060149X
• LCCN: 95035175
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New York ; Berlin
• ページ数/冊数: xv, 327 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA9.7
  • DC20 : 511.3
• 件名:
  • LCSH : Model theory
• 親書誌ID:
  • BA00027452