Decidability and generalized quantifiers

著者

• Baudisch, Andreas

書誌事項

Decidability and generalized quantifiers

von Andreas Baudisch ... [et al.]

（Mathematical research = Mathematische Forschung, Bd. 3）

Akademie-Verlag, 1980

注記

Bibliography: p. 220-229

Includes indexes

詳細情報

• NII書誌ID(NCID): BA00588289
• LCCN: 81105261
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin
• ページ数/冊数: xii, 235 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA9.65
  • DC19 : 511.3
  • NDC8 : 410.96
• 件名:
  • LCSH : Decidability (Mathematical logic)
  • LCSH : Predicate calculus
• 親書誌ID:
  • BA00289776