Logical methods /
Greg, Restall
Logical methods / Greg Restall and Shawn Standefer - Cambridge : The MIT Press, 2023 - xiv, 270 p.
Includes bibliographical references and index.
"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
Eng
9780262544849
Logic-textbooks
511.3 / RES-L
Logical methods / Greg Restall and Shawn Standefer - Cambridge : The MIT Press, 2023 - xiv, 270 p.
Includes bibliographical references and index.
"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
Eng
9780262544849
Logic-textbooks
511.3 / RES-L