Logical Methods by Shawn Greg/ Standefer Restall