Logical methods

Author(s)

• Restall, Greg
• Standefer, Shawn

Bibliographic Information

Logical methods

Greg Restall and Shawn Standefer

The MIT Press, c2023

• : [pbk.]

Note

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

Details

• NCID: BD01274029
• ISBN:
  • 9780262544849
• LCCN: 2022006372
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge, Massachusetts
• Pages/Volumes: xiv, 270 p.
• Size: 26 cm
• Classification:
  • LCC : BC71
  • DC23 : 511.3
• Subject Headings:
  • LCSH : Logic -- Textbooks