Restall, Greg <br/><br/>
Logical Methods 

 - Cambridge, Massachusetts :   The MIT Press,   2023 
 - 270 pages;  26 cm 
<br/><br/> "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" 
<br/><br/><label>ISBN: </label>9780262544849 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic --Textbooks
<br/><br/><label>LC Class. No.: </label>BC71 .R4735