Extensions of first order logic

著者

• Manzano, María

書誌事項

Extensions of first order logic

[by] María Manzano

（Cambridge tracts in theoretical computer science, 19）

Cambridge University Press, 1996

• : hardback

タイトル別名

Extensions of 1st order logic

注記

Includes bibliography (p. [352]-363) and indexes

詳細情報

• NII書誌ID(NCID): BA27183517
• ISBN:
  • 0521354358
• LCCN: 94043735
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge, England ; New York, NY
• ページ数/冊数: xxii, 388 p.
• 大きさ: 26 cm
• 分類:
  • LCC : QA9
  • DC20 : 511.3
• 件名:
  • LCSH : First-order logic
• 親書誌ID:
  • BA01121831