TY  - BOOK
AU  - Restall, Greg
AU  -  Standefer, Shawn
TI  - Logical Methods
SN  - 9780262544849
AV  - BC71 .R4735 
PY  - 2023///
CY  - Cambridge, Massachusetts
PB  -  The MIT Press, 
KW  - Logic
KW  - Textbooks
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"
ER  -