Logical Methods
Restall, Greg
Logical Methods - Cambridge, Massachusetts : The MIT Press, 2023 - 270 pages; 26 cm
"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"
9780262544849
Logic --Textbooks
BC71 .R4735
Logical Methods - Cambridge, Massachusetts : The MIT Press, 2023 - 270 pages; 26 cm
"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"
9780262544849
Logic --Textbooks
BC71 .R4735