Three views of logic : mathematics, philosophy, and computer science

著者

• Loveland, Donald W.
• Hodel, Richard E.
• Sterrett, S. G.

書誌事項

Three views of logic : mathematics, philosophy, and computer science

Donald W. Loveland, Richard E. Hodel, S.G. Sterrett

Princeton University Press, c2014

• : [pbk.]

注記

Includes bibliographical references (p. 316-317) and index

詳細情報

• NII書誌ID(NCID): BB14636274
• ISBN:
  • 9780691160443
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Princeton, N.J.
• ページ数/冊数: xv, 322 p.
• 大きさ: 26 cm
• 分類:
  • DC23 : 511.3
• 件名:
  • LCSH : Proof theory
  • LCSH : Computable functions
  • LCSH : Nonclassical mathematical logic