Logical Methods
Author: Restall, Greg/ Standefer, Shawn
ISBN: 9780262544849
RM309.40
Publisher,Mit Pr
Publication Date,
Format, Paperback
Weight,
No. of Pages, 270
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--
