The mathematics of logic : a guide to completeness theorems and their applications

著者

• Kaye, Richard

書誌事項

The mathematics of logic : a guide to completeness theorems and their applications

Richard Kaye

Cambridge University Press, 2007

• : pbk
• : hbk

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA82538238
• ISBN:
  • 9780521708777
  • 9780521882194
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge ; New York
• ページ数/冊数: xii, 204 p.
• 大きさ: 23 cm
• 分類:
  • NDC8 : 410.1
  • NDC8 : 410.96
  • DC22 : 511.3
• 件名:
  • LCSH : Logic, Symbolic and mathematical