Quantifiers : logics, models, and computation

著者

• Krynicki, Michał
• Mostowski, Marcin
• Szczerba, L. W.

書誌事項

Quantifiers : logics, models, and computation

edited by Michał Krynicki, Marcin Mostowski and Lesław W. Szczerba

（Synthese library, v. 248-249）

Kluwer Academic Publishers, c1995

• : set
• v. 1
• v. 2

注記

Vol. 1. Surveys -- v. 2. Contributions

Includes bibliographies and indexes

詳細情報

• NII書誌ID(NCID): BA25996514
• ISBN:
  • 0792334507
  • 0792334485
  • 0792334493
• LCCN: 95008252
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Dordrecht ; Boston
• ページ数/冊数: 2 v.
• 大きさ: 23 cm
• 分類:
  • LCC : QA9.7
  • DC20 : 511.3
• 件名:
  • LCSH : Model theory
• 親書誌ID:
  • BA00017801