Logical methods

著者

• Restall, Greg
• Standefer, Shawn

書誌事項

Logical methods

Greg Restall and Shawn Standefer

The MIT Press, c2023

• : [pbk.]

注記

Includes bibliographical references (p. [261]-266) and indexes

Summary: "An advanced-level logic textbook that presents proof construction on equal footing with model building. Potentially relevant to students of mathematics and computer science as well"-- Provided by publisher

詳細情報

• NII書誌ID(NCID): BD01274029
• ISBN:
  • 9780262544849
• LCCN: 2022006372
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge, Massachusetts
• ページ数/冊数: xiv, 270 p.
• 大きさ: 26 cm
• 分類:
  • LCC : BC71
  • DC23 : 511.3
• 件名:
  • LCSH : Logic -- Textbooks