TY  - BOOK
AU  - Greg,Restall
AU  - Standefer,Shawn
TI  - Logical methods
SN  - 9780262544849
U1  - 511.3 
PY  - 2023///
CY  - Cambridge
PB  - The MIT Press
KW  - Logic-textbooks
N1  - Includes bibliographical references and index
N2  - "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
ER  -