Text this: Manual of elementary logic :